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: 31 Aug 2025 04:15
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)