EMMANUEL GUNTHER

Datos académicos

Lugar de trabajo	UNIVERSIDAD NACIONAL DE CORDOBA / FACULTAD DE MATEMATICA, ASTRONOMIA Y FISICA
Título	Doctor en Ciencias de la Computación
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Ciencia y cultura-Informacion y documentaci
Especialidad	Verificación Formal - Formalización de Matemática

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-3 de 3

Artículo First steps towards a formalization of forcing

Gunther, Emmanuel ; Pagano, Miguel Maria ; Sanchez Terraf, Pedro Octavio (Elsevier, 2019-08)
Tesis Formalización de fundaciones de la matemática y compiladores correctos por construcción

Gunther, Emmanuel (2019-03-28) Director: Pagano, Miguel Maria
Artículo Formalization of Universal Algebra in Agda

Gunther, Emmanuel ; Gadea, Alejandro Emilio ; Pagano, Miguel Maria (Elsevier, 2018-10)

Mostrando ítems 1-3 de 3