A New Method for Undecidability Proofs of First Order Theories (1992)

Cached

Download Links

by Ralf Treinen
Venue:Journal of Symbolic Computation
Citations:30 - 7 self

Active Bibliography

4 Constraints in Term Algebras (Short Survey) – Hubert Comon - 1993
3 Negation in Combining Constraint Systems – Stephan Kepser - 1998
21 Ordering Constraints on Trees – Hubert Comon, Ralf Treinen - 1994
57 Disunification: a Survey – Hubert Comon - 1991
2 Proving First-Order Equality Theorems with Hyper-Linking – Geoffrey David Alexander - 1995
23 Unification of Infinite Sets of Terms Schematized by Primal Grammars – Miki Hermann, Roman Galbavý, Roman Galbav - 1996
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
11 Syntacticness, Cycle-Syntacticness and Shallow Theories – Hubert Comon, Marianne Haberstrau, Jean-Perre Jouannaud - 1994
7 Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract) – H. Comon, R. Nieuwenhuis, A. Rubio - 1995
11 Rewrite Proofs and Computations – Jean-pierre Jouannaud - 1995
114 Paramodulation-Based Theorem Proving – Robert Nieuwenhuis, Albert Rubio - 1999
5 The Decidability of the First-order Theory of Knuth-Bendix Order – Ting Zhang, Henny B. Sipma, Zohar Manna
Paramodulation Decision Procedures – Georg Christian Moser - 2003
Equational Unification, Word Unification, and 2-Order Equational Unification – Friedrich Otto, Paliath Narendran, Daniel Dougherty - 1996
Hubert Comon – Cnrs And, Hubert Comon, Ralf Treinen - 1997
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
5 A Methodological View of Constraint Solving – Hubert Comon, Mehmet Dincbas, Jean-pierre Jouannaud, Claude Kirchner - 1996
18 On the theory of structural subtyping – Viktor Kuncak, Martin Rinard - 2003
1 ACI1 constraints – Agostino Dovier, Carla Piazza, Enrico Pontelli, G. Rossi, Gianfranco Rossi - 1999