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.« […]
Tesis doctoral sobre Logica matemática
Accede a todas las tesis doctorales sobre Logica matemática mas relevantes.
Un estudio algebraico de los calculos proposicionales de lukasiewicz.
Tesis doctoral de Rodriguez Salas Antonio Jesús Tras una breve presentacion de las algebras de sales asociadas a la parte
Estudi i algebraitzacio de certes logiques: algebres d-completes.
Tesis doctoral de Antonio Torrens Torrell Se obtienen y estudian las algebras d-completas como las algebras implicativas asociadas a ciertos
Definibilidad mediante r-tipos de n-isomorfia.
Tesis doctoral de Javier Leach Aldert Simplificacion y unificacion de la demostracion de los teoremas de definibilidad de beth suenonius
Variants of unification considering compression and context variables
Tesis doctoral de Adrián Gascón Caro Term unification is a basic operation in several areas of computer science, specially in
Robustness on resource allocation problems
Tesis doctoral de Víctor Muñoz SolÁ En problemas de asignación de recursos, normalmente se han de tener en cuenta las
Forcing strong combinatorial properties and cardinal arithmetic
Tesis doctoral de Miguel Angel Mota Gaytán Se introduce una nueva técnica de iteración de forcing y se prueba que
Induccion y recursion: las teorias i delta n+1(t)
Tesis doctoral de Francisco Félix Lara Martin En este trabajo se realiza un analisis de la conjetura de friedman-paris, acerca
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
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