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.
Forcing
Theory of computation
4
Compilers
2
Diseño de compiladores
2
Formalización
2
Formalización de matemática
2
Hipótesis del continuo
2
Isabelle / ZF
2
Logic
2
Logic and verification
2
Programación con tipos dependientes
2
Relativización
2
Software and its engineering
2
Software verification
2
Teoría de conjuntos
2
Type Theory
2
-
1por Steinberg, Matías Uriel
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Gunther, Emmanuel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
3por Gunther, Emmanuel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
4por Steinberg, Matías Uriel
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis