-
Unification modulo Synchronous Distributivity
International audience -
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 a 2-sorted Equational theory for Cipher-Decipher Block Cha...
International audience -
Unification Modulo ACUI Plus Distributivity Axioms
Article dans revue scientifique avec comité de lecture. nationale.
