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.
Logic and verification
Theory of computation
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
Mecanización
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
-
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 Gadea, Alejandro EmilioMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
4por Gadea, Alejandro EmilioMaterias: “...Theory of computation...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion