Login / Signup

Confluent Monadic String-Rewriting Systems and Automatic Structures.

Friedrich OttoNikola 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