Un metodo de aproximaciones finitas en la logica de primer orden.
Tesis doctoral de Mario Rodríguez Artalejo Se parte de trabajos de j. Hintikka wischonfeld y t. wolf sobre la forma […]
Tesis doctorales de Mario Rodríguez Artalejo
Control de granularidad en la ejecucion paralela de programas logicas mediante tecnicas de analisis y transformacion
Tesis doctoral de Pedro Lopez Garcia Los lenguajes de programación lógica ofrecen un excelente marco para la aplicación de tecnicas
Modularidad en programacion lógico-funcional de primer orden
Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en
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
Técnicas de especificación formal de sistemas orientados a objetos basadas en lógica de reescritura
Tesis doctoral de Isabel Pita Andreu Las técnicas de especificación formal de sistemas concurrentes pueden agruparse en general en dos
Un esquema de programación lógico-funcional con restricciones: marco teórico y aplicación a la depuración declarativa
Tesis doctoral de Rafael Del Vado Virseda Null en la primera parte de este trabajo proponemos un nuevo marco teórico
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
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales
Tesis doctoral de Rafael Caballero Roldan La falta de herramientas auxiliares tales como depuradores o entornos gráficos ha sido señalada
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
