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

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: 06 Dec 2023 10:16
Published Version: https://doi.org/10.4204/EPTCS.374.6
Status: Published
Publisher: Open Publishing Association
Series Name: Electronic Proceedings in Theoretical Computer Science
Refereed: No
Identification Number: https://doi.org/10.4204/EPTCS.374.6

Download

Filename: paper.pdf

Description: paper

Licence: CC-BY 2.5

Export

Statistics