Retículos multi-adjuntos y teoremas de continuidad para el operador de consecuencias
Tesis doctoral de Jesús Medina Moreno Se introducen los retículos multi-adjuntos y las álgebras multi-adjuntas para construir un marco general […]
Tesis doctoral sobre Sistemas formales
Accede a todas las tesis doctorales sobre Sistemas formales mas relevantes.
Contribucion a la fase de prueba de sistemas concurrentes y distribuidos mediante tecnicas de descripcion formal
Tesis doctoral de Juan Carlos Burguillo Rial El objetivo de esta tesis es analizar y formalizar nuevas tecnicas para mejorar
Una teoria computacional acerca de la logica ecuacional (formalizacion en acl2 de la logica ecuacional y demostracion automatica de sus propiedades)
Tesis doctoral de José Luis Ruiz Reina El objetivo principal de la tesis es el desarrollo de una teoria computacional
Integrative approaches to investigate the molecular basis of diseases and adverse drug reactions: from multivariate statistical analysis to systems biology.
Tesis doctoral de Anna Bauer-mehren Resumen a pesar de que existen tratamientos eficaces para las enfermedades, no hay todavía una
Razonamiento mecanizado en álgebra homológica
Tesis doctoral de Jesús María Aransay Azofra En la tesis se aborda el problema de obtener una versión certificada de
Pragmatica de la sintesis de programas lógicos
Tesis doctoral de David Robert Son Esta tesis trata de nuevas formas de usar métodos de síntesis estructural para especificaciones
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
Logica parcial trivalorada. aproximaciones de primer orden, de orden superior e intuicionista
Tesis doctoral de Francisca Lucio Carrasco Se extiende la logica de primer orden clasica, de forma conservadora, a una logica
Conjuntos intuicionistas e intervalo-valorados difusos: propiedades y construccion. relaciones intuicionistas y estructuras
Tesis doctoral de Bustince Sola Nicanor Humberto La memoria estudia sistematicamente los conjuntos intuicionistas difusos. Analiza las estructuras algebraicas de
Contribuciones topologicas y algebraicas a los metodos formales en programacion declarativa.
Tesis doctoral de Andres Bujosa Brun Las contribuciones de la presente tesis doctoral pueden clasificarse en contribuciones topologicas y contribuciones