Login / Signup

Lambda-confluence for context rewriting systems.

Friedrich OttoFrantisek Mráz
Published in: Theor. Comput. Sci. (2015)
Keyphrases
  • rewriting systems
  • rewriting rules