Repositorios 16

Theory of computation Logic 11 Teoría de la computación 11 Logic and verification 7 Lógica 5 Coq 4 Design and analysis of algorithms 4 Forcing 4 Proof theory 4 Tolerancia a fallas 4 Compilers 3 Modal logic 3 Métodos formales 3 Software verification 3 Verificación de software 3 Verification by model checking 3 Adecuación computacional 2 Algoritmo 2 Algoritmos 2 Asistente de Prueba 2 Asistentes de prueba 2 Atomic broadcast 2 Bracketing 2 Categorical semantics 2 Clase de complejidad 2 Coherencia 2 Complejidad computacional 2 Complexity classes 2 Complexity classes; Problems, Reductions and completeness; Circuit complexity, Interactive proof systems 2 Computational complexity and cryptography 2