research
∙
07/19/2022
Existentially Quantified Systems of Equations as an Implicit Representation of Answers in Logic Programming
In this paper we present an alternative approach to formalize the theory...
research
∙
07/18/2022
Conjunctive Queries, Existentially Quantified Systems of Equations and Finite Substitutions
This report presents an elementary theory of unification for positive co...
research
∙
10/01/2019
Extraction of Efficient Programs in IΣ_1-arithmetic
Clausal Language (CL) is a declarative programming and verifying system ...
research
∙
09/30/2019
On Herbrand Skeletons
Herbrand's theorem plays an important role both in proof theory and in c...
research
∙
09/04/2019