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 × France
1 × Italy
Collaborated with:
F.Klay C.Ringeissen
Talks about:
unif (2) techniqu (1) disjoint (1) theori (1) combin (1) order (1) equat (1) sort (1) non (1)

Person: Eric Domenjoud

DBLP DBLP: Domenjoud:Eric

Contributed to:

CADE 19941994
RTA 19911991

Wrote 2 papers:

CADE-1994-DomenjoudKR #equation
Combination Techniques for Non-Disjoint Equational Theories (ED, FK, CR), pp. 267–281.
RTA-1991-Domenjoud #order #unification
AC Unification Through Order-Sorted AC1 Unification (ED), pp. 98–111.

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.