Formalising the Double-Pushout Approach to Graph Transformation

Soeldner, Robert and Plump, Detlef orcid.org/0000-0002-1148-822X (2024) Formalising the Double-Pushout Approach to Graph Transformation. Logical Methods in Computer Science. ISSN 1860-5974

Metadata

Item Type: Article
Authors/Creators:
Dates:
  • Published: 4 October 2024
  • Accepted: 20 August 2024
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 Oct 2024 16:10
Last Modified: 18 Nov 2024 00:39
Published Version: https://doi.org/10.46298/LMCS-20(4:3)2024
Status: Published
Refereed: Yes
Identification Number: 10.46298/LMCS-20(4:3)2024
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: 2312.15641.pdf

Description: 2312.15641

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of 2312.15641]

Export

Statistics


CORE (COnnecting REpositories)