|
52
|
Disunification: a Survey
– Hubert Comon
- 1991
|
|
4
|
Constraints in Term Algebras (Short Survey)
– Hubert Comon
- 1993
|
|
3
|
Negation in Combining Constraint Systems
– Stephan Kepser
- 1998
|
|
22
|
Ordering Constraints on Trees
– Hubert Comon, Ralf Treinen
- 1994
|
|
2
|
Proving First-Order Equality Theorems with Hyper-Linking
– Geoffrey David Alexander
- 1995
|
|
22
|
Unification of Infinite Sets of Terms Schematized by Primal Grammars
– Miki Hermann, Roman Galbavý, Roman Galbav
- 1996
|
|
18
|
On the theory of structural subtyping
– Viktor Kuncak, Martin Rinard
- 2003
|
|
9
|
Syntacticness, Cycle-Syntacticness and Shallow Theories
– Hubert Comon, Marianne Haberstrau, Jean-pierre 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
|
|
97
|
Paramodulation-Based Theorem Proving
– Robert Nieuwenhuis, Albert Rubio
- 1999
|
|
2
|
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
|
|
2
|
Knowledge Representation and Classical Logic
– Vladimir Lifschitz, Leora Morgenstern
|
|
6
|
About the Theory of Tree Embedding
– Alexandre Boudet, Re Boudet, Hubert Comon
- 1993
|
|
4
|
A Methodological View of Constraint Solving
– Hubert Comon, Mehmet Dincbas, Jean-pierre Jouannaud, Claude Kirchner
- 1996
|
|
1
|
ACI1 constraints
– Agostino Dovier, Carla Piazza, Enrico Pontelli, G. Rossi, Gianfranco Rossi
- 1999
|
