Extensions of unification modulo ACUI
Sign Up to like & getrecommendations! Published in 2019 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129519000185
Abstract: Abstract The theory ACUI of an associative, commutative, and idempotent binary function symbol + with unit 0 was one of the first equational theories for which the complexity of testing solvability of unification problems was… read more here.
Keywords: modulo acui; unification; extensions unification; acui unification ... See more keywords