Login / Signup

Computing Critical Pairs in 2-Dimensional Rewriting Systems.

Samuel Mimram
Published in: RTA (2010)
Keyphrases
  • rewriting systems
  • rewriting rules
  • multi dimensional
  • databases
  • structural properties