Mechanised DPO Theory : Uniqueness of Derivations and Church-Rosser Theorem

Soeldner, Robert and Plump, Detlef orcid.org/0000-0002-1148-822X (2023) Mechanised DPO Theory : Uniqueness of Derivations and Church-Rosser Theorem. In: Fernandez, Maribel and Poskitt, Chris, (eds.) Proceedings 16th International Conference on Graph Transformation (ICGT 2023). Lecture Notes in Computer Science . Springer , pp. 123-142.

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.
Dates:
  • Accepted: 22 April 2023
  • Published: 12 July 2023
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Depositing User: Pure (York)
Date Deposited: 15 Nov 2023 16:50
Last Modified: 06 Feb 2024 00:10
Published Version: https://doi.org/10.1007/978-3-031-36709-0_7
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Refereed: No
Identification Number: https://doi.org/10.1007/978-3-031-36709-0_7

Download

Filename: icgt23_paper.pdf

Description: icgt23_paper

Licence: CC-BY 2.5

Export

Statistics