`Travelled to:`

1 × Germany

1 × Italy

1 × The Netherlands

1 × United Kingdom

3 × USA

`Collaborated with:`

E.Contejean ∅ H.Comon C.Marché H.Devie J.Jouannaud M.Schmidt-Schauß

`Talks about:`

unif (6) algorithm (4) equat (4) theori (3) pattern (2) system (2) combin (2) about (2) diophantin (1) confluenc (1)

## Person: Alexandre Boudet

### DBLP: Boudet:Alexandre

### Contributed to:

### Wrote 9 papers:

- RTA-2001-BoudetC #algorithm
- Combining Pattern E-Unification Algorithms (AB, EC), pp. 63–76.
- CADE-1998-BoudetC #confluence #equation #term rewriting
- About the Confluence of Equational Pattern Rewrite Systems (AB, EC), pp. 88–102.
- RTA-1996-BoudetCM #proving #theorem proving #unification
- AC-Complete Unification and its Application to Theorem Proving (AB, EC, CM), pp. 18–32.
- ALP-1992-BoudetC #equation #on the
- On n-Syntactic Equational Theories (AB, EC), pp. 446–457.
- CADE-1992-Boudet #algebra #order #unification
- Unification in Order-Sorted Algebras with Overloading (AB), pp. 193–207.
- CADE-1990-Boudet #algorithm #equation #performance #unification
- Unification in a Combination of Equational Theories: an Efficient Algorithm (AB), pp. 292–307.
- LICS-1990-BoudetCD #algorithm #equation #unification
- A New AC Unification Algorithm with an Algorithm for Solving Systems of Diophantine Equations (AB, EC, HD), pp. 289–299.
- LICS-1988-BoudetJS #unification
- Unification in Free Extensions of Boolean Rings and Abelian Groups (AB, JPJ, MSS), pp. 121–130.
- TAPSOFT-1993-BoudetC #formal method
- About the Theory of Tree Embedding (AB, HC), pp. 376–390.