Alexandre Boudet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
1988–1998
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CADE | About the Confluence of Equational Pattern Rewrite Systems. | Alexandre Boudet, Evelyne Contejean |
| 1997 | CP | AC-Unification of Higher-Order Patterns. | Alexandre Boudet, Evelyne Contejean |
| 1992 | CADE | Unification in Order-Sorted Algebras with Overloading. | Alexandre Boudet |
| 1990 | CADE | Unification in a Combination of Equational Theories: an Efficient Algorithm. | Alexandre Boudet |
| 1990 | LICS | A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations | Alexandre Boudet, Evelyne Contejean, Herv Devie |
| 1988 | LICS | Unification in Free Extensions of Boolean Rings and Abelian Groups | Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schau |