Técnicas coalgebraicas y categóricas para el estudio de las semánticasde procesos.
Tesis doctoral de Ignacio Fabregas Alfaro De un modo general, esta tesis puede englobarse dentro del estudio de los sistemas […]
Tesis doctoral de Narciso Martí Oliet
Información academica Narciso Martí Oliet. Tesis donde Narciso Martí Oliet ha sido autor, director o parte del tribunal.
Certificación formal de programas en un lenguaje funcional impaciente
Tesis doctoral de JavierDe Dios Castro En esta tesis se propone un metodo basado en la infraestructura pcc para convertir
Reflexión, abstracción y simulación en la lógica de reescritura
Tesis doctoral de Miguel Palomino Tarjuelo La lógica de reescritura es una extensión de la lógica ecuacional habitual que fue
Maude como marco semántico ejecutable
Tesis doctoral de José Alberto Verdejo López La lógica de resscritura, propuesta por josé meseguer en 1990 como marco de
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura
Tesis doctoral de Isabel Pita Andreu Las técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos
Sobre dos logicas categoricas: logica lineal y algebra con tipos ordenados
Tesis doctoral de Narciso Marti Oliet La logica lineal ha sido desarrollada recientemente por girard como una logica de acciones