Towards Mechanised Proofs in Double-Pushout Graph Transformation

Soeldner, Robert and Plump, Detlef orcid.org/0000-0002-1148-822X (2022) Towards Mechanised Proofs in Double-Pushout Graph Transformation. In: Proceedings of the Thirteenth International Workshop on Graph Computation Models. International Workshop on Graph Computation Models, 06 Jul 2022 Electronic Proceedings in Theoretical Computer Science. Open Publishing Association, FRA, pp. 59-75.

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Published: 22 December 2022
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 03 Jan 2023 12:10
Last Modified: 17 Sep 2025 04:44
Published Version: https://doi.org/10.4204/EPTCS.374.6
Status: Published
Publisher: Open Publishing Association
Series Name: Electronic Proceedings in Theoretical Computer Science
Identification Number: 10.4204/EPTCS.374.6
Open Archives Initiative ID (OAI ID):

Download

Published Version

Filename: paper.pdf

Description: paper

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of paper]

Export

Statistics


CORE (COnnecting REpositories)