Formalización de fundaciones de la matemática y compiladores correctos por construcción
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.
Guardado en:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | doctoralThesis publishedVersion |
Lenguaje: | Español |
Publicado: |
2019
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/14372 |
Aporte de: |
id |
I10-R141-11086-14372 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de Córdoba |
institution_str |
I-10 |
repository_str |
R-141 |
collection |
Repositorio Digital Universitario (UNC) |
language |
Español |
topic |
Diseño de compiladores Formalización de matemática Teoría de conjuntos Programación con tipos dependientes Theory of computation Logic and verification Software verification Type Theory Software and its engineering Compilers Forcing |
spellingShingle |
Diseño de compiladores Formalización de matemática Teoría de conjuntos Programación con tipos dependientes Theory of computation Logic and verification Software verification Type Theory Software and its engineering Compilers Forcing Gunther, Emmanuel Formalización de fundaciones de la matemática y compiladores correctos por construcción |
topic_facet |
Diseño de compiladores Formalización de matemática Teoría de conjuntos Programación con tipos dependientes Theory of computation Logic and verification Software verification Type Theory Software and its engineering Compilers Forcing |
description |
Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019. |
author2 |
Pagano, Miguel María |
author_facet |
Pagano, Miguel María Gunther, Emmanuel |
format |
doctoralThesis publishedVersion |
author |
Gunther, Emmanuel |
author_sort |
Gunther, Emmanuel |
title |
Formalización de fundaciones de la matemática y compiladores correctos por construcción |
title_short |
Formalización de fundaciones de la matemática y compiladores correctos por construcción |
title_full |
Formalización de fundaciones de la matemática y compiladores correctos por construcción |
title_fullStr |
Formalización de fundaciones de la matemática y compiladores correctos por construcción |
title_full_unstemmed |
Formalización de fundaciones de la matemática y compiladores correctos por construcción |
title_sort |
formalización de fundaciones de la matemática y compiladores correctos por construcción |
publishDate |
2019 |
url |
http://hdl.handle.net/11086/14372 |
work_keys_str_mv |
AT guntheremmanuel formalizaciondefundacionesdelamatematicaycompiladorescorrectosporconstruccion |
bdutipo_str |
Repositorios |
_version_ |
1764820391193214977 |