Repositorios 3

Logic and verification Theory of computation 7 Logic 3 Adecuación computacional 2 Asistente de Prueba 2 Bracketing 2 Categorical semantics 2 Coherencia 2 Compilers 2 Coq 2 Corrección de compiladores 2 Denotational semantics 2 Diseño de compiladores 2 Forcing 2 Formal Verification 2 Formalización de matemática 2 Lógica y verificación 2 Lógicas Dinámicas 2 Lógicas Modales 2 Mecanización 2 Modal and temporal logics (High Relevance) 2 Operational semantics 2 Programación con tipos dependientes 2 Relaciones lógicas 2 Software and its engineering 2 Software verification 2 Teoría de conjuntos 2 Type Theory 2 Verificación Formal 2 Deóntica 1