On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups.

Miki Hermann Phokion G. Kolaitis

Published in: CP (1997)

Keyphrases

horn clauses
range searching
real time
search algorithm
higher order
decision problems
space complexity
computational complexity
knowledge representation
worst case
theorem proving