A Specialized Completion Procedure for Monadic String-Rewriting Systems Presenting Groups.

Klaus Madlener Paliath Narendran Friedrich Otto

Published in: ICALP (1991)

Keyphrases

rewriting systems
pattern matching
data structure
deductive databases
response time
regular expressions
datalog queries