Login / Signup

Convergence in infinitary term graph rewriting systems is simple.

Patrick Bahr
Published in: Math. Struct. Comput. Sci. (2018)
Keyphrases
  • rewriting systems
  • rewriting rules
  • databases
  • graph model
  • random walk