dblp.uni-trier.dewww.uni-trier.de

Alexandre Boudet

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
16EEAlexandre Boudet, Evelyne Contejean: Combining Pattern E-Unification Algorithms. RTA 2001: 63-76
2000
15EEAlexandre Boudet: Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories. Discrete Mathematics & Theoretical Computer Science 4(1): 11-30 (2000)
1998
14EEAlexandre Boudet, Evelyne Contejean: About the Confluence of Equational Pattern Rewrite Systems. CADE 1998: 88-102
1997
13 Alexandre Boudet, Evelyne Contejean: AC-Unification of Higher-Order Patterns. CP 1997: 267-281
1996
12 Alexandre Boudet, Hubert Comon: Diophantine Equations, Presburger Arithmetic and Finite Automata. CAAP 1996: 30-43
11 Alexandre Boudet, Evelyne Contejean, Claude Marché: AC-Complete Unification and its Application to Theorem Proving. RTA 1996: 18-32
1994
10 Alexandre Boudet, Evelyne Contejean: "Syntactic" AC-Unification. CCL 1994: 136-151
1993
9 Alexandre Boudet, Hubert Comon: About the Theory of Tree Embedding. TAPSOFT 1993: 376-390
8 Alexandre Boudet: Competing for the AC-Unification Race. J. Autom. Reasoning 11(2): 185-212 (1993)
7 Alexandre Boudet: Combining Unification Algorithms. J. Symb. Comput. 16(6): 597-626 (1993)
1992
6 Alexandre Boudet, Evelyne Contejean: On n-Syntactic Equational Theories. ALP 1992: 446-457
5 Alexandre Boudet: Unification in Order-Sorted Algebras with Overloading. CADE 1992: 193-207
1990
4 Alexandre Boudet: Unification in a Combination of Equational Theories: an Efficient Algorithm. CADE 1990: 292-307
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
1989
2 Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß: Unification in Boolean Rings and Abelian Groups. J. Symb. Comput. 8(5): 449-477 (1989)
1988
1 Alexandre Boudet, Jean-Pierre Jouannaud, Manfred Schmidt-Schauß: Unification in Free Extensions of Boolean Rings and Abelian Groups LICS 1988: 121-130

Coauthor Index

1Hubert Comon-Lundh (Hubert Comon) [9] [12]
2Evelyne Contejean [3] [6] [10] [11] [13] [14] [16]
3Hervé Devie [3]
4Jean-Pierre Jouannaud [1] [2]
5Claude Marché [11]
6Manfred Schmidt-Schauß [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)