A Finiteness Condition for Rewriting Systems.

Craig C. Squier Friedrich Otto Yuji Kobayashi

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

Keyphrases

rewriting systems
rewriting rules
databases
pattern matching
regular expressions
graph mining