Teorías de la verdad para lenguajes autorreferentes: una solución parcial al problema del punto fijo
Tesis doctoral de Jose Martínez Fernández El trabajo es una contribución al proyecto del diseño y la justificación de teorías […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Ideales y filtros de implicantes/implicados en lógicas temporales con tiempo lineal y discreto
Tesis doctoral de Pablo Jose Cordero Ortega Enmarcado en el campo de los fundamentos matemáticos de la demostración automática, realiza
Modelos formales de explicacón en lógica e inteligencia artificial
Tesis doctoral de Fernando Soler Toscano La abducción es el tipo de razonamiento en que, dada una teoría t (habitualmente
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
Sistema integrado de gestión logistica optimizada
Tesis doctoral de José Luis Risco Martin El modelo de problemas de optimización es un proceso complejo compuesto de múltiples
Estructuras casi-modales e implicativas generalizadas.
Tesis doctoral de Jorge Castro Se muestra que las estructuras casi-modales generalizan a los retículos modales.Mientras que las del segundo
Extensiones del paradigma multiadjunto: programación lógica con multirretículos y aplicaciones al análisis formal de conceptos
Tesis doctoral de Jorge Ruiz Calviño Este trabajo se enmarca en el área de los fundamentos matemáticos para la informática,
El proceso de generalizacion desarrollado por alumnos de secundaria en problemas de generalizacion lineal.
Tesis doctoral de Juan Antonio García Cruz La memoria de investigación presenta tres estudios dedicados al proceso de generalización. Dentro
Investigaciones sobre gramáticas categoriales: algoritmos de parsing y equiValencia entre formalismos
Tesis doctoral de José Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigación sobre la utilización del
Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción tableau para su aplicación en comprobación de modelos on-the-fly
Tesis doctoral de Hornos Barranco Miguel Juan Este trabajo constituye el punto de partida para la verificación automática de sistemas