Formalización de fundaciones de la matemática y compiladores correctos por construcción

Mostrar todas las versiones(2)

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:
Detalles Bibliográficos
Autor principal: Gunther, Emmanuel
Otros Autores: Pagano, Miguel María
Formato: doctoralThesis publishedVersion
Lenguaje:Español
Publicado: 2019
Materias:
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
Acceso en línea:http://hdl.handle.net/11086/14372
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R14111086-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_ 1764820393322872835

Ejemplares similares