Preescritura con restricciones de reemplazamiento
Tesis doctoral de Salvador Lucas Alba La reescritura de términos constituye un mecanismo operacional útil para implementar un buen número […]
Tesis doctoral de María Alpuente Frasnedo
Información academica María Alpuente Frasnedo. Tesis donde María Alpuente Frasnedo ha sido autor, director o parte del tribunal.
Strategies and análisis techniques for functional program optimization
Tesis doctoral de Santiago Escobar Román Los sistemas informáticos desempeñan un papel importante en la moderna sociedad de la información.
Model checking of the concurrent constraint paradigm
Tesis doctoral de Alicia Villanueva García En muchas aplicaciones reales la verificación formal de propiedades temporales es imprescindible. En la
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas
Semántica y análisis de programas lógico funcionales
Tesis doctoral de Julio Mariño Carballo Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales
Un enfoque genérico y cooperativo para la resolución de restricciones de intervalo
Tesis doctoral de Antonio José Fernández Leiva Esta tesis propone un esquema genérico y cooperativo para la programación lógica con
Programación funcional paralela eficiente en eden
Tesis doctoral de Fernando Rubio Diez La tesis se sitúa en el área de los lenguajes funcionales paralelos y muestra
Técnicas de detección y diagnosis de errores en consultas de bases de datos
Tesis doctoral de Yolanda Garcia Ruiz El objetivo de esta tesis es el diseño y desarrollo de técnicas para la
Diseño e implementación de un lenguaje de programacion lógica borrosa con unificacion debil
Tesis doctoral de Clemente Rubio Manzano La programación lógica es un paradigma de programación que tiene como objetivo el empleo
Bridging the gap between distance and generalisation. symbolic learning in metric spaces.
Tesis doctoral de Vicente Estruch Gregori El aprendizaje automático es la disciplina que se centra en el diseño de algoritmos