Elimination Transformations for Associative-Commutative Rewriting Systems.

Keiichirou Kusakari Masaki Nakamura Yoshihito Toyama

Published in: J. Autom. Reason. (2006)

Keyphrases

rewriting systems
rewriting rules
rewrite rules
transformation rules
pattern matching
associative memory