Login / Signup
Confluent Monadic String-Rewriting Systems and Automatic Structures.
Friedrich Otto
Nikola Ruskuc
Published in:
J. Autom. Lang. Comb. (2001)
Keyphrases
</>
rewriting systems
deductive databases
rewriting rules
data driven
database
software engineering
data structure
pattern matching
datalog programs
datalog queries