BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Boudet:Alexandre

Contributed to:

RTA 20012001
CADE 19981998
RTA 19961996
ALP 19921992
CADE 19921992
CADE 19901990
LICS 19901990
LICS 19881988

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.