Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theory of computation
Logic and verification
4
Adecuación computacional
2
Bracketing
2
Categorical semantics
2
Coherencia
2
Compilers
2
Corrección de compiladores
2
Denotational semantics
2
Diseño de compiladores
2
Forcing
2
Formalización de matemática
2
Lógicas deónticas
2
Mecanización
2
Métodos formales
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
Tolerancia a fallas
2
Type Theory
2
Verificación de software
2
Verification by model checking
2
-
1por Gunther, EmmanuelMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
2por Gunther, EmmanuelMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
3por Kilmurray, Cecilia NoeliaMaterias: “...Theory of computation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
4por Kilmurray, Cecilia NoeliaMaterias: “...Theory of computation...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
5por Gadea, Alejandro EmilioMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
6por Gadea, Alejandro EmilioMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion