Original language | English |
---|---|
Title of host publication | Term Graph Rewriting |
Subtitle of host publication | Theory and Practice |
Editors | Ronan Sleep, Rinus Plasmeijer, Marko van Eekelen |
Publisher | Wiley-Blackwell |
Pages | 201-213 |
Number of pages | 13 |
Publication status | Published - 1993 |
Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review