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 […]
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.
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
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
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
Sistema de identificacion y explotacion de paralelismo en programas logico-funcionales.
Tesis doctoral de Fernando Saenz Perez Los lenguajes declarativos en general y los logico-funcionales en particular poseen una capacidad expresiva
Nonuniform complexity classes with sub-linear advice functions.
Tesis doctoral de Montserrat Hermo Huguet Se realiza un estudio exhaustivo de algunas clases de complejidad definidas a partir del
Seleccion automatica de implementaciones para componentes de software usando un lenguaje multiparadigma para establecer sus aspectos no funcionales.
Tesis doctoral de Javier Franch Gutiérrez La tesis presenta una metodología que permite la formulacion de requisitos y propiedades no