On Simultaneous Rigid E-Unification (1997)

Cached

Download Links

by Margus Veanes
Citations:11 - 2 self

Documents Related by Co-Citation

16 Special Cases and Substitutes for Rigid E-Unification – David A. Plaisted, Im Stadtwald - 1995
12 On Herbrand Skeletons – Paul J. Voda, Ján Komara - 1995
20 What You Always Wanted to Know About Rigid E-Unification – Anatoli Degtyarev, Andrei Voronkov - 1996
37 Theorem proving using equational matings and rigid E-unification – J H Gallier, P Narendran, S Raatz, W Snyder - 1992
10 The Decidability of Simultaneous Rigid E-Unification with One Variable – Anatoli Degtyarev, Yuri Gurevich, Paliath Narendran, Margus Veanes, Andrei Voronkov - 1997
28 Theorem proving using rigid E-unification: Equational matings – J H Gallier, S Raatz, W Snyder - 1987
10 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
17 Rigid e-unification: Np-completeness and applications to equational matings – Jean H Gallier, Paliath Narendran, David Plaisted, Wayne Snyder - 1988
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
64 The Foundations of Mathematics: A – E W Beth - 1959
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
26 Rigid E-unification is NP-complete – J H Gallier, P Narendran, D Plaisted, W Snyder - 1988
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
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
29 Using resolution for deciding solvable classes and building finite models – T Tammet - 1991