Alexandre Boudet

16 papers A* 2A 4Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2001 — conf
Combining Pattern E-Unification Algorithms.
RTA
Alexandre Boudet, Evelyne Contejean
2000 J jnl
Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories.
Discret. Math. Theor. Comput. Sci.
Alexandre Boudet
1998 A conf
About the Confluence of Equational Pattern Rewrite Systems.
CADE
Alexandre Boudet, Evelyne Contejean
1997 A conf
AC-Unification of Higher-Order Patterns.
CP
Alexandre Boudet, Evelyne Contejean
1996 — conf
AC-Complete Unification and its Application to Theorem Proving.
RTA
Alexandre Boudet, Evelyne Contejean, Claude Marché
1996 — conf
Diophantine Equations, Presburger Arithmetic and Finite Automata.
CAAP
Alexandre Boudet, Hubert Comon
1994 — conf
"Syntactic" AC-Unification.
CCL
Alexandre Boudet, Evelyne Contejean
1993 — conf
About the Theory of Tree Embedding.
TAPSOFT
Alexandre Boudet, Hubert Comon
1993 J jnl
Combining Unification Algorithms.
J. Symb. Comput.
Alexandre Boudet
1993 J jnl
Competing for the AC-Unification Race.
J. Autom. Reason.
Alexandre Boudet
1992 — conf
On
ALP
Alexandre Boudet, Evelyne Contejean
1992 A conf
Unification in Order-Sorted Algebras with Overloading.
CADE
Alexandre Boudet
1990 A* conf
A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations
LICS
Alexandre Boudet, Evelyne Contejean, Hervé Devie
1990 A conf
Unification in a Combination of Equational Theories: an Efficient Algorithm.
CADE
Alexandre Boudet
1989 J jnl
Unification in Boolean Rings and Abelian Groups.
J. Symb. Comput.
Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß
1988 A* conf
Unification in Free Extensions of Boolean Rings and Abelian Groups
LICS
Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß