Alexandre Boudet

According to our database, Alexandre Boudet authored at least 16 papers between 1988 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Combining Pattern E-Unification Algorithms.

Alexandre Boudet, Evelyne Contejean

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

2000

Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories.

Alexandre Boudet

Discret. Math. Theor. Comput. Sci., 2000

1998

About the Confluence of Equational Pattern Rewrite Systems.

Alexandre Boudet, Evelyne Contejean

Proceedings of the Automated Deduction, 1998

1997

AC-Unification of Higher-Order Patterns.

Alexandre Boudet, Evelyne Contejean

Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1996

AC-Complete Unification and its Application to Theorem Proving.

Alexandre Boudet, Evelyne Contejean, Claude Marché

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Diophantine Equations, Presburger Arithmetic and Finite Automata.

Alexandre Boudet, Hubert Comon

Proceedings of the Trees in Algebra and Programming, 1996

1994

"Syntactic" AC-Unification.

Alexandre Boudet, Evelyne Contejean

Proceedings of the Constraints in Computational Logics, First International Conference, 1994

1993

Combining Unification Algorithms.

Alexandre Boudet

J. Symb. Comput., 1993

Competing for the AC-Unification Race.

Alexandre Boudet

J. Autom. Reason., 1993

About the Theory of Tree Embedding.

Alexandre Boudet, Hubert Comon

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

1992

Unification in Order-Sorted Algebras with Overloading.

Alexandre Boudet

Proceedings of the Automated Deduction, 1992

On <i>n</i>-Syntactic Equational Theories.

Alexandre Boudet, Evelyne Contejean

Proceedings of the Algebraic and Logic Programming, 1992

1990

A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations

Alexandre Boudet, Evelyne Contejean, Hervé Devie

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Unification in a Combination of Equational Theories: an Efficient Algorithm.

Alexandre Boudet

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Unification in Boolean Rings and Abelian Groups.

Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß

J. Symb. Comput., 1989

1988

Unification in Free Extensions of Boolean Rings and Abelian Groups

Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988