Login / Signup

Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems.

Kentaro KikuchiTakahito AotoYoshihito Toyama
Published in: FroCoS (2017)
Keyphrases
  • rewriting systems
  • rewriting rules
  • databases
  • multi dimensional
  • range queries