Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence

Plump, Detlef orcid.org/0000-0002-1148-822X (1993) Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence. In: Sleep, Ronan, Plasmeijer, Rinus and van Eekelen, Marko, (eds.) Term Graph Rewriting. Wiley-Blackwell, pp. 201-213.

Metadata

Item Type: Book Section
Authors/Creators:
Editors:
  • Sleep, Ronan
  • Plasmeijer, Rinus
  • van Eekelen, Marko
Dates:
  • Published: 2 January 1993
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Date Deposited: 27 Jul 2026 15:10
Last Modified: 28 Sep 2026 14:46
Status: Published
Publisher: Wiley-Blackwell
Refereed: Yes
Open Archives Initiative ID (OAI ID):

Download

Export

Statistics


CORE (COnnecting REpositories)