Repositorios 26

Theory of computation Logic 9 Logic and verification 6 Teoría de la computación 6 Coq 4 Design and analysis of algorithms 4 Forcing 4 Proof theory 4 Lógica 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 Compilers 2 Complejidad computacional 2 Complexity classes 2 Complexity classes; Problems, Reductions and completeness; Circuit complexity, Interactive proof systems 2 Computational complexity and cryptography 2 Computing methodologies 2 Constraint and logic programming 2 Constricción y programación lógica 2 Construcción de funciones heurísticas 2 Corrección de compiladores 2 Denotational semantics 2