Drl: un lenguaje logico para sistemas distribuidos de tiempo real
Tesis doctoral de Manuel Diaz Rodriguez La tesis se enmarca en el ambito de los lenguajes logicos concurrentes y su […]
Tesis doctoral sobre Lenguajes de programacion
Accede a todas las tesis doctorales sobre Lenguajes de programacion mas relevantes.
Logica temporal y demostracion automatica de teoremas. eficiencia y paralelismo
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica
Tesis doctoral de Francisco Bueno Carrillo La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante
Drago: un lenguaje para programar aplicaciones distribuidas tolerantes a fallos y cooperativas
Tesis doctoral de Miranda Gonzalez Francisco Javier Drago es un lenguaje experimental desarrollado para soportar la implementacion de aplicaciones distribuidas
Programacion funcional y logica con restricciones
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion
Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica
Un modelo funcional de dialogo para dialogos orientados por la tarea
Tesis doctoral de Zubizarreta Aizpuru José Ramon La estructuracion del dialogo utilizando reglas de reescritura con ecuaciones funcionales en una
Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa.
Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones
Definicion de un modelo concurrente orientado a objetos. agentes para sistemas multiagente
Tesis doctoral de Tomas Dominguez Minguez El presente trabajo define un modelo de agente generico, una arquitectura software y un
Una aproximacion a la programacion logica con funciones indeterministas.
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del