Semantica de comportamiento en lenguajes de especificacion
Tesis doctoral de M. Pilar Nivela Alos Datos académicos de la tesis doctoral «Semantica de comportamiento en lenguajes 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.
Tecnicas de reescritura para especificaciones condicionales.
Tesis doctoral de María Luisa Navarro Gómez Datos académicos de la tesis doctoral «Tecnicas de reescritura para especificaciones condicionales.«
Contribuciones a la teoria abstracta de modelos.
Tesis doctoral de Enrique Casanovas Ruiz-fornells Datos académicos de la tesis doctoral «Contribuciones a la teoria abstracta de modelos.«
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
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
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