Estudio del lema de interpolacion en el contexto de diversos lenguajes formales.
Tesis doctoral de Cristina Corredor Lanas La tesis consiste en una presentacion sistematizada del lema de interpolacion, analizando los rasgos […]
Tesis doctoral sobre Logica deductiva
Accede a todas las tesis doctorales sobre Logica deductiva mas relevantes.
Verificacion de bases de conocimiento.
Tesis doctoral de Betty Ramirez Nieves Se utiliza la teoria de categorias en su version de determinadas categorias preorden para
Contribucion a una formalizacion de la inferencia directa
Tesis doctoral de Jaime Casasnovas Casasnovas Datos académicos de la tesis doctoral «Contribucion a una formalizacion de la inferencia
Genesis y desarrollo de los numeros reales en la obra de cantor en el siglo xix.
Tesis doctoral de Enrique Droeven Demanet Datos académicos de la tesis doctoral «Genesis y desarrollo de los numeros reales
La vaguedad: hacia un estudio critico de algunos aspectos formales y de gestion.
Tesis doctoral de Alejandro Sobrino Cerdeiriña Datos académicos de la tesis doctoral «La vaguedad: hacia un estudio critico de
Una logica trivalorada para funciones recursivas parciales
Tesis doctoral de Antonio Gavilanes Franco Datos académicos de la tesis doctoral «Una logica trivalorada para funciones recursivas parciales«
Una logica no estandard admisible para programas funcionales
Tesis doctoral de Ana Gil Luezas Datos académicos de la tesis doctoral «Una logica no estandard admisible para programas
Optimizacion de automatas finitos
Tesis doctoral de Rodriguez Vela M. Camino Datos académicos de la tesis doctoral «Optimizacion de automatas finitos« Título de
Logica de segundo orden: problemas metateoreticos.
Tesis doctoral de Angel Nepomuceno Fernandez Datos académicos de la tesis doctoral «Logica de segundo orden: problemas metateoreticos.« Título
Criterios de pertenencia basados en relaciones de alcance definidas en reticulos completamente distributivos.
Tesis doctoral de Angel Nuñez Gomez Datos académicos de la tesis doctoral «Criterios de pertenencia basados en relaciones de