Una aproximación al fallo en programación declarativa multiparadigma
Tesis doctoral de Jaime Sánchez Hernández La negación en programación lógica es un tema ampliamente investigado desde los inicios de […]
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.
Partial evaluatión of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency
Tesis doctoral de Elvira Albert Albiol La evaluación parcial es una técnica automática que consigue optimizar programas garantizando que su
Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas
Tesis doctoral de Pedro Jesús Martin De La Calle Las tesis presenta sistemas de tableaux para tres extensiones de la
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Programacion logico-funcional con tipos parametricos y generos ordenados.
Tesis doctoral de Jesús Almendros Jimenez Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten
Programacion declarativa con restricciones sobre tipos de datos algebraicos.
Tesis doctoral de Purificacion Arenas Sanchez El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones
On specifyng and reasoning with special relations.
Tesis doctoral de Wernher Marco Schorlemmer Datos académicos de la tesis doctoral «On specifyng and reasoning with special relations.«
Resolucion sl*: un paradigma basado en resolucion lineal para la demostracion automatica.
Tesis doctoral de Casamayor Rodenas Juan Carlos El trabajo incluido en la presente tesis se enmarca dentro del campo de
Jugando con el tiempo.
Tesis doctoral de Llana Diaz Luis Fernando En el presente trabajo hemos estudiado la semantica de pruebas para algebras de