-
How Useful are Dag Automata?
25 pages -
Unification modulo ACUI plus Homomorphisms/Distributivity
19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003, Proceedings -
ACID-Unification is NEXPTIME-Decidable
28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings -
E-unification by means of tree tuple synchronized grammars
International audience -
Unification in Extensions of Shallow Equational Theories
Rapport interne.
