Login / Signup

Infinite Families of Finite String Rewriting Systems and Their Confluence.

Jean-Pierre JouannaudBenjamin Monate
Published in: LPAR (Yogyakarta) (2010)
Keyphrases
  • rewriting systems
  • finite sets
  • real numbers
  • rewriting rules
  • pattern matching
  • data structure
  • databases
  • regular expressions
  • data model
  • context free grammars