The Word Problem for Thue Rewriting Systems.

Gerard Lallement

Published in: Term Rewriting (1993)

Keyphrases

rewriting systems
word problems
query containment
rewriting rules
similar problems
grade students
conjunctive queries
rewrite rules