 | 2001 |
|---|
| 16 |       | Alexandre Boudet,
Evelyne Contejean:
Combining Pattern E-Unification Algorithms.
RTA 2001: 63-76 |
| 2000 |
|---|
| 15 | | Alexandre Boudet:
Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories.
Discrete Mathematics & Theoretical Computer Science 4(1): 11-30 (2000) |
| 1998 |
|---|
| 14 | | Alexandre Boudet,
Evelyne Contejean:
About the Confluence of Equational Pattern Rewrite Systems.
CADE 1998: 88-102 |
| 1997 |
|---|
| 13 |  | Alexandre Boudet,
Evelyne Contejean:
AC-Unification of Higher-Order Patterns.
CP 1997: 267-281 |
| 1996 |
|---|
| 12 | | Alexandre Boudet,
Hubert Comon:
Diophantine Equations, Presburger Arithmetic and Finite Automata.
CAAP 1996: 30-43 |
| 11 | | Alexandre Boudet,
Evelyne Contejean,
Claude Marché:
AC-Complete Unification and its Application to Theorem Proving.
RTA 1996: 18-32 |
| 1994 |
|---|
| 10 | | Alexandre Boudet,
Evelyne Contejean:
"Syntactic" AC-Unification.
CCL 1994: 136-151 |
| 1993 |
|---|
| 9 | | Alexandre Boudet,
Hubert Comon:
About the Theory of Tree Embedding.
TAPSOFT 1993: 376-390 |
| 8 | | Alexandre Boudet:
Competing for the AC-Unification Race.
J. Autom. Reasoning 11(2): 185-212 (1993) |
| 7 | | Alexandre Boudet:
Combining Unification Algorithms.
J. Symb. Comput. 16(6): 597-626 (1993) |
| 1992 |
|---|
| 6 | | Alexandre Boudet,
Evelyne Contejean:
On n-Syntactic Equational Theories.
ALP 1992: 446-457 |
| 5 | | Alexandre Boudet:
Unification in Order-Sorted Algebras with Overloading.
CADE 1992: 193-207 |
| 1990 |
|---|
| 4 | | Alexandre Boudet:
Unification in a Combination of Equational Theories: an Efficient Algorithm.
CADE 1990: 292-307 |
| 3 | | Alexandre Boudet,
Evelyne Contejean,
Hervé Devie:
A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations
LICS 1990: 289-299 |
| 1989 |
|---|
| 2 | | Alexandre Boudet,
Jean-Pierre Jouannaud,
Manfred Schmidt-Schauß:
Unification in Boolean Rings and Abelian Groups.
J. Symb. Comput. 8(5): 449-477 (1989) |
| 1988 |
|---|
| 1 | | Alexandre Boudet,
Jean-Pierre Jouannaud,
Manfred Schmidt-Schauß:
Unification in Free Extensions of Boolean Rings and Abelian Groups
LICS 1988: 121-130 |
