Repositorios 19

Theory of computation 14 Logic 9 Mathematical Logic 6 Teoría de la computación 6 Lógica matemática 5 Coq 4 Proof theory 4 Separation logic 4 Lógica 3 Agda 2 Algoritmo 2 Arboles binarios 2 Asistente de Prueba 2 Asistentes de prueba 2 Base de datos 2 Categoría funtorial 2 Computing methodologies 2 Constraint and logic programming 2 Constricción y programación lógica 2 Construcción de funciones heurísticas 2 Código intermedio 2 Database theory 2 Denotational semantics 2 Design and analysis of algorithms 2 Diseño de filtros 2 Diseño y análisis de algoritmos 2 Filter Design 2 Forcing 2 Formal Languages 2 Formal Verification 2