Una extension de metodos algebraicos a la teoria de modelos
Tesis doctoral de Alejandro Fernandez Margarit La idea central de este trabajo consiste en la introduccion del concepto de cociente […]
Tesis doctoral de Alejandro Fernandez Margarit
Información academica Alejandro Fernandez Margarit. Tesis donde Alejandro Fernandez Margarit ha sido autor, director o parte del tribunal.
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
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
Teoria computacional (en pvs) de la programación logica y del analisis formal de conceptos
Tesis doctoral de María Jose Hidalgo Doblado Los objetivos principales de la tesis son la formalización de teorías matemáticas en
Extensiones de fragmentos de la aritmética
Tesis doctoral de Andres Cordón Franco El presente trabajo se enmarca dentro del campo de estudio de los modelos de
Modelos de induccion acotada.
Tesis doctoral de Joaquin Borrego Diaz Entre los nuevos resultados que se obtienen en este trabajo caben destacar: – relaciones
Modelo de verificacion de bases de conocimiento
Tesis doctoral de Couto Sayalero Julia Isabel Modelizacion de problemas estructurales en bb.Ce que usen logicas de primer orden.
Logica y racionalidad del descubrimiento (acerca del metodo de arquimedes)
Tesis doctoral de Hernandez Martin M. Carmen Datos académicos de la tesis doctoral «Logica y racionalidad del descubrimiento (acerca