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 […]
Accede a todas las tesis doctorales sobre Lenguajes de programacion mas relevantes.
Tesis doctoral de Manuel Diaz Rodriguez La tesis se enmarca en el ambito de los lenguajes logicos concurrentes y su […]
Tesis doctoral de Enciso Garcia Oliveros Manuel Este trabajo se enmarca en la demostracion automatica de teoremas en logica modal
Tesis doctoral de Francisco Bueno Carrillo La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante
Tesis doctoral de Miranda Gonzalez Francisco Javier Drago es un lenguaje experimental desarrollado para soportar la implementacion de aplicaciones distribuidas
Tesis doctoral de Francisco Javier Lopez Fraguas En este trabajo presentamos e investigamos el esquema teorico cflp(x) para la programacion
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica
Tesis doctoral de Zubizarreta Aizpuru José Ramon La estructuracion del dialogo utilizando reglas de reescritura con ecuaciones funcionales en una
Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones
Tesis doctoral de Tomas Dominguez Minguez El presente trabajo define un modelo de agente generico, una arquitectura software y un
Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del