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 […]
Tesis doctoral de Mario Rodríguez Artalejo
Información academica Mario Rodríguez Artalejo. Tesis donde Mario Rodríguez Artalejo ha sido autor, director o parte del tribunal.
Decidibilidad de problemas sobre redes de petri temporizadas.
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.
L2 ii o2 un lenguaje logico concurrente orientado a objetos
Tesis doctoral de Ernesto Pimentel Sanchez El trabajo desarrollado en el estudio se debe enmarcar en el ambito de la
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su
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