Tratamiento n-categorial de la logica de la programacion.
Tesis doctoral de Jose Arteche Otegui Datos académicos de la tesis doctoral «Tratamiento n-categorial de la logica de la […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Diseño, semantica e implementacion de babel: un lenguaje que integra la programacion funcional y logica
Tesis doctoral de Juan Jose Moreno Navarro Datos académicos de la tesis doctoral «Diseño, semantica e implementacion de babel:
Analisis medio de algoritmos de reduccion sobre arboles.
Tesis doctoral de Fernandez Camacho M. Ines Datos académicos de la tesis doctoral «Analisis medio de algoritmos de reduccion
Especificacion algebraica de tipos abstractos de datos no deterministas.
Tesis doctoral de Federico Valenciano Llovera Datos académicos de la tesis doctoral «Especificacion algebraica de tipos abstractos de datos