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 […]
Tesis doctoral de Albert Rubio Gimeno
Información academica Albert Rubio Gimeno. Tesis donde Albert Rubio Gimeno ha sido autor, director o parte del tribunal.
Solving hard industrial combinatorial problems with sat
Tesis doctoral de Ignasi Abío Roig The topic of this thesis is the development of sat-based techniques and tools for
Termination of narrowing: automated proofs and modularity properties
Tesis doctoral de José Iborra López In 1936, alan turing proved that the halting problem, that is, deciding whether a
On some variants of second-order unification
Tesis doctoral de Mateu Villaret Auselle In this thesis we present several results about second-order unification. It is well known
Ordering-based methodos for proving termination automatically
Tesis doctoral de Cristina Borralleras Andreu Datos académicos de la tesis doctoral «Ordering-based methodos for proving termination automatically« Título
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
Automated deduction with constrained clauses
Tesis doctoral de Albert Rubio Gimeno Esta tesis doctoral se centra en el estudio de mecanismos para realizar deduccion automatica