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

id	I10-R14111086-14324
record_format	dspace
institution	Universidad Nacional de Córdoba
institution_str	I-10
repository_str	R-141
collection	Repositorio Digital Universitario (UNC)
language	Español
topic	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
spellingShingle	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 Gadea, Alejandro Emilio Biortogonalidad para corrección de compiladores y adecuación computacional
topic_facet	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
description	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.
author2	Pagano, Miguel María
author_facet	Pagano, Miguel María Gadea, Alejandro Emilio
format	doctoralThesis publishedVersion
author	Gadea, Alejandro Emilio
author_sort	Gadea, Alejandro Emilio
title	Biortogonalidad para corrección de compiladores y adecuación computacional
title_short	Biortogonalidad para corrección de compiladores y adecuación computacional
title_full	Biortogonalidad para corrección de compiladores y adecuación computacional
title_fullStr	Biortogonalidad para corrección de compiladores y adecuación computacional
title_full_unstemmed	Biortogonalidad para corrección de compiladores y adecuación computacional
title_sort	biortogonalidad para corrección de compiladores y adecuación computacional
publishDate	2019
url	http://hdl.handle.net/11086/14324
work_keys_str_mv	AT gadeaalejandroemilio biortogonalidadparacorrecciondecompiladoresyadecuacioncomputacional
bdutipo_str	Repositorios
_version_	1764820393300852738

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

Ejemplares similares