-
Unification modulo ACUI plus Distributivity Axioms
E-unification problems are central in automated deduction. In this work, we consider unification modulo theories that extend the well-known ACI or ACUI, by adding a... -
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 -
Configuration of Labeled Trees under Lexicalized Constraints and Principles
Article dans revue scientifique avec comité de lecture. internationale. -
Unification Modulo ACUI Plus Distributivity Axioms
Article dans revue scientifique avec comité de lecture. nationale.
