Termination and Completion Modulo Associativity, Commutativity and Identity.

Jean-Pierre Jouannaud Claude Marché

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

Keyphrases

term rewriting
knuth bendix
learning algorithm
social context
identity management
active rules
three dimensional
special case
update operations
rewrite systems