|
17
|
Special Cases and Substitutes for Rigid E-Unification
– David A. Plaisted, Im Stadtwald
- 1995
|
|
11
|
The Decidability of Simultaneous Rigid E-Unification with One Variable
– Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov
- 1997
|
|
12
|
On Herbrand Skeletons
– Paul J. Voda, Ján Komara
- 1995
|
|
27
|
Theorem proving using rigid E-unification: Equational matings
– J H Gallier, S Raatz, W Snyder
- 1987
|
|
35
|
Theorem proving using equational matings and rigid e-unification
– J H Gallier, P Narendran, S Raatz, W Snyder
- 1992
|
|
19
|
What You Always Wanted to Know About Rigid E-Unification
– Anatoli Degtyarev, Andrei Voronkov
- 1996
|
|
9
|
On Computational Complexity of Basic Decision Problems of Finite Tree Automata
– Margus Veanes
- 1997
|
|
17
|
On Proof-Search in Intuitionistic Logic with Equality, or Back to Simultaneous Rigid E-Unification
– Andrei Voronkov
- 1996
|
|
25
|
Rigid E-unification is NP-complete
– J H Gallier, P Narendran, D Plaisted, W Snyder
- 1988
|
|
17
|
Rigid E-unification: NPCompleteness and Applications to Equational Matings
– J Gallier, P Narendran, D Plaisted, W Snyder
- 1990
|
|
5
|
Mechanical proof search and the theory of logical deduction
– G E Mints
- 1983
|
|
9
|
Equality Elimination for the Tableau Method
– Anatoli Degtyarev, Andrei Voronkov
- 1996
|
|
61
|
The Foundations of Mathematics
– North Holland Publishing Company, Amsterdam Evert W Beth
- 1959
|
|
830
|
A machine-oriented logic based on the resolution principle
– J A Robinson
- 1965
|
|
9
|
The solvability of the equivalence problem for deterministic frontier-to-root tree transducers
– Z Zachar
- 1978
|
|
15
|
Decision Procedures and Model Building in Equational Clause Logic
– Christian G. Fermüller, Alexander Leitsch
- 1998
|
|
8
|
Computational Representations of Herbrand Models Using Grammars
– Robert Matzinger
- 1997
|
|
2
|
Context free term sets are regular - and some applications to logic
– R Matzinger
- 1997
|
|
18
|
Decision Procedures using Model Building techniques
– Ricardo Caferra, Nicolas Peltier
- 1996
|
