Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Original languageEnglish
Title of host publicationTerm Graph Rewriting
Subtitle of host publicationTheory and Practice
EditorsRonan Sleep, Rinus Plasmeijer, Marko van Eekelen
PublisherWiley-Blackwell
Pages201-213
Number of pages13
Publication statusPublished - 1993

Cite this