Alexandre Boudet (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

16 Alexandre Boudet, Evelyne Contejean: Combining Pattern E-Unification Algorithms. RTA 2001: 63-76

14 Alexandre Boudet, Evelyne Contejean: About the Confluence of Equational Pattern Rewrite Systems. CADE 1998: 88-102

13 Alexandre Boudet, Evelyne Contejean: AC-Unification of Higher-Order Patterns. CP 1997: 267-281

11 Alexandre Boudet, Evelyne Contejean, Claude Marché: AC-Complete Unification and its Application to Theorem Proving. RTA 1996: 18-32

10 Alexandre Boudet, Evelyne Contejean: "Syntactic" AC-Unification. CCL 1994: 136-151

6 Alexandre Boudet, Evelyne Contejean: On n-Syntactic Equational Theories. ALP 1992: 446-457

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

Selection of 7 from 16 records - Alexandre Boudet has 6 coauthors

16		Alexandre Boudet, Evelyne Contejean: Combining Pattern E-Unification Algorithms. RTA 2001: 63-76
14		Alexandre Boudet, Evelyne Contejean: About the Confluence of Equational Pattern Rewrite Systems. CADE 1998: 88-102
13		Alexandre Boudet, Evelyne Contejean: AC-Unification of Higher-Order Patterns. CP 1997: 267-281
11		Alexandre Boudet, Evelyne Contejean, Claude Marché: AC-Complete Unification and its Application to Theorem Proving. RTA 1996: 18-32
10		Alexandre Boudet, Evelyne Contejean: "Syntactic" AC-Unification. CCL 1994: 136-151
6		Alexandre Boudet, Evelyne Contejean: On n-Syntactic Equational Theories. ALP 1992: 446-457
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