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