Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados

This is an undergraduate thesis to obtain the degree of Licentiate in Computer Science in University of La Plata, Argentina. Since by standing rules of the institution this work must be presented in Spanish, the author would like to cross-refer the reader to a shorter English version of this work [M...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Badenes, Hernán
Otros Autores: Martínez López, Pablo E.
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
aplicaciones informáticas
Automatic Programming
PROGRAMMING TECHNIQUES
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/3893
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-3893
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
aplicaciones informáticas
Automatic Programming
PROGRAMMING TECHNIQUES
spellingShingle Ciencias Informáticas
aplicaciones informáticas
Automatic Programming
PROGRAMMING TECHNIQUES
Badenes, Hernán
Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
topic_facet Ciencias Informáticas
aplicaciones informáticas
Automatic Programming
PROGRAMMING TECHNIQUES
description This is an undergraduate thesis to obtain the degree of Licentiate in Computer Science in University of La Plata, Argentina. Since by standing rules of the institution this work must be presented in Spanish, the author would like to cross-refer the reader to a shorter English version of this work [Martinez Lopez and Badenes, 2003], that is being published in the Proceedings of the VII Argentinian Workshop on Theoretical Computer Science (WAIT 2003, Buenos Aires, September 2003). There, the core chapters of this work (Simplification, chapter 2, and Solving, chapter 3) are included (with a lower level of detail). In any case, we give an English introduction for better understanding the scope of this work.
author2 Martínez López, Pablo E.
author_facet Martínez López, Pablo E.
Badenes, Hernán
format Tesis
Tesis de grado
author Badenes, Hernán
author_sort Badenes, Hernán
title Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
title_short Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
title_full Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
title_fullStr Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
title_full_unstemmed Cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
title_sort cómo eliminar evidencia resolviendo restricciones para producir automáticamente programas tipados
publishDate 2003
url http://sedici.unlp.edu.ar/handle/10915/3893
work_keys_str_mv AT badeneshernan comoeliminarevidenciaresolviendorestriccionesparaproducirautomaticamenteprogramastipados
bdutipo_str Repositorios
_version_ 1764820472268062724

Ejemplares similares