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 […]
Tesis doctoral de Ugo Montanari
Información academica Ugo Montanari. Tesis donde Ugo Montanari ha sido autor, director o parte del tribunal.
Csp probabilistico: un modelo probabilistico de procesos concurrentes.
Tesis doctoral de Fernando Cuartero Gomez Datos académicos de la tesis doctoral «Csp probabilistico: un modelo probabilistico de procesos
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