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:
2001
19981996
199219921990
19901988
1993Wrote 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.