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

Authors/Creators:
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: 06 Dec 2023 09:59
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: https://doi.org/10.14279/tuj.eceasst.26.367.347
Related URLs:

Download

Filename: Plump.ECEASST.10.pdf

Description: Plump.ECEASST.10

Licence: CC-BY 2.5

Export

Statistics