Alexandre Boudet

Publication Activity (10 Years)

Years Active: 1988-2001
Publications (10 Years): 0

Publications

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