Invariant-free deduction systems for temporal logic
Tesis doctoral de Jose Gaintzarain Ibarmia In this thesis we propose a new approach to deductionmethods for temporal logic. Our […]
Tesis doctoral de Francisca Lucio Carrasco
Información academica Francisca Lucio Carrasco. Tesis donde Francisca Lucio Carrasco ha sido autor, director o parte del tribunal.
A tipe-theoretic approach to proof support for algebraic design frameworks
Tesis doctoral de Nicolas Eduardo Mylonakis Pascual Datos académicos de la tesis doctoral «A tipe-theoretic approach to proof support
Programación declarativa cualificada con restricciones
Tesis doctoral de Carlos Alberto Romero Diaz «la incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial,
A transformational approach to constructive negation in constraint normal logic programming
Tesis doctoral de Javier Alvez Gimenez In this dissertation, we propose an efficient treatment of constructive negation in constraint normal
Metodos de tableaux para logicas con declaraciones de terminos dominios preordenados y operaciones monotonas
Tesis doctoral de Pedro Jesús Martin De La Calle Las tesis presenta sistemas de tableaux para tres extensiones de la
Programacion logico-funcional con tipos parametricos y generos ordenados.
Tesis doctoral de Jesús Almendros Jimenez Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten
An algebraic study of modularity in logic programming.
Tesis doctoral de Elvira Pino Blanco Datos académicos de la tesis doctoral «An algebraic study of modularity in logic
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