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

Ejemplares similares

Ejemplares similares