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: Domenjoud:Eric
Contributed to:
1994
1991Wrote 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.