Unification in Commutative Idempotent Monoids.

Franz Baader Wolfram Büttner

Published in: Theor. Comput. Sci. (1988)

Keyphrases

higher order
theorem proving
morphological operators
special case
theorem prover
geometrical interpretation
equational theories
database
data sets
information retrieval
information systems
search algorithm
general theory
knuth bendix