Confluence of indirection reductions in graph rewrite systems
- P.M. van den Broek
Research output: Contribution to journal › Article › Academic › peer-review
178
Downloads
(Pure)
Research output: Contribution to journal › Article › Academic › peer-review