Catálogo de publicaciones - tesis
Título de Acceso Abierto
Biortogonalidad para corrección de compiladores y adecuación computacional
Alejandro Emilio Gadea Miguel María Pagano
acceptedVersion.
Resumen/Descripción – provisto por el repositorio digital
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.Palabras clave – provistas por el repositorio digital
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
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | 2019 | Repositorio Digital Universitario (SNRD) |
|
Información
Tipo de recurso:
tesis
Idiomas de la publicación
- español castellano
País de edición
Argentina
Fecha de publicación
2019
