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:	publishedVersion doctoralThesis
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

Descripción
Sumario:	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.