Analisis semantico y transformacion de programas logico-funcionales
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como […]
Información academica Mario Rodríguez Artalejo. Tesis donde Mario Rodríguez Artalejo ha sido autor, director o parte del tribunal.
Tesis doctoral de German Vidal Oriola El problema de la integracion de la programacion logica y funcional esta considerado como […]
Tesis doctoral de Llana Diaz Luis Fernando En el presente trabajo hemos estudiado la semantica de pruebas para algebras de
Tesis doctoral de Manuel Nuñez Garcia En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion
Tesis doctoral de Jordi Levy Diaz Datos académicos de la tesis doctoral «The calculus of refinements: a formal specification
Tesis doctoral de Fernando Cuartero Gomez Datos académicos de la tesis doctoral «Csp probabilistico: un modelo probabilistico de procesos
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 Francisco Saiz Lopez Se describe un sistema, progenes, que permite resolver automaticamente un alto porcentaje de problemas
Tesis doctoral de Elvira Mayordomo Camara La tesis presenta extensiones y nuevas aplicaciones de la teoria de la medida con
Tesis doctoral de Lourdes Araujo Serna En este trabajo se ha desarrollado un modelo de ejecucion paralelo de los programa