Login / Signup

Confluence of Orthogonal Nominal Rewriting Systems Revisited.

Takaki SuzukiKentaro KikuchiTakahito AotoYoshihito Toyama
Published in: RTA (2015)
Keyphrases
  • rewriting systems
  • rewriting rules
  • databases
  • rewrite rules