Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y […]
Tesis doctoral sobre Aplicaciones de la logica
Accede a todas las tesis doctorales sobre Aplicaciones de la logica mas relevantes.
Reflection in general logics and in rewriting logic with applications to the maude languaje.
Tesis doctoral de Manuel Garcia Clavel La reflexión, entendida como la capacidad de representar nuestras ideas y de hacerlas objetos
Conceptos modales e individuacion.
Tesis doctoral de Manuel Perez Otero El tema central de esta tesis es la distincion kripkeana entre dos dicotomias modales
Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.
Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the
Agentes locales y autonomos en inteligencia artificial distribuida: coordinacion.
Tesis doctoral de Eduardo Alonso Fernandez La tesis se corresponde con el analisis conceptual de las interacciones en dominios de
Teoria formal de la intencion: formacion y dinamica de intenciones.
Tesis doctoral de Marroquin Cirion Jesús M. En este trabajo se dan pasos hacia la construccion de una teoria logico-formal
Programacion logica para la gestion de bases de datos relacionales aplicadas a bases de datos lexicas.
Tesis doctoral de Iraola Moreno Luis Oliverio Este trabajo se situa en la zona de confluencia de diversas disciplinas de