Biortogonalidad para corrección de compiladores y adecuación computacional

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:	Gadea, Alejandro Emilio
Otros Autores:	Pagano, Miguel María
Formato:	publishedVersion doctoralThesis
Lenguaje:	Español
Publicado:	2019
Materias:	Coherencia Relaciones lógicas Corrección de compiladores Adecuación computacional Mecanización Theory of computation Logic and verification Denotational semantics Categorical semantics Operational semantics Bracketing
Acceso en línea:	http://hdl.handle.net/11086/14324
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.