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

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Fernandez, Maribel
  • Poskitt, Chris
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: 20 Sep 2025 02:44
Published Version: https://doi.org/10.1007/978-3-031-36709-0_7
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-031-36709-0_7
Open Archives Initiative ID (OAI ID):

Download

Accepted Version

Filename: icgt23_paper.pdf

Description: icgt23_paper

Licence: CC-BY 2.5

CLICK TO DOWNLOAD [thumbnail of icgt23_paper]

Export

Statistics


CORE (COnnecting REpositories)