Login / Signup

Böhm Reduction in Infinitary Term Graph Rewriting Systems.

Patrick Bahr
Published in: FSCD (2017)
Keyphrases
  • rewriting systems
  • rewriting rules
  • rewrite rules
  • language model