Checking Graph-Transformation Systems for Confluence

Plump, Detlef orcid.org/0000-0002-1148-822X (2010) Checking Graph-Transformation Systems for Confluence. In: Drewes, Frank, Habel, Annegret, Hoffmann, Berthold and Plump, Detlef, (eds.) Manipulation of Graphs, Algebras and Pictures. Electronic Communications of the EASST. Technische Universität Berlin.

Metadata

Item Type: Book Section
Authors/Creators:
Editors:
  • Drewes, Frank
  • Habel, Annegret
  • Hoffmann, Berthold
  • Plump, Detlef
Dates:
  • Published: 2010
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 10 Jan 2023 17:10
Last Modified: 20 Sep 2025 02:35
Published Version: https://doi.org/10.14279/tuj.eceasst.26.367.347
Status: Published
Publisher: Technische Universität Berlin
Series Name: Electronic Communications of the EASST
Refereed: Yes
Identification Number: 10.14279/tuj.eceasst.26.367.347
Related URLs:
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: Plump.ECEASST.10.pdf

Description: Plump.ECEASST.10

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of Plump.ECEASST.10]

Export

Statistics


CORE (COnnecting REpositories)