Towards Mechanised Proofs in Double-Pushout Graph Transformation

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the Thirteenth International Workshop on Graph Computation Models
Publisher	Open Publishing Association
Pages	59-75
Number of pages	17
DOIs	https://doi.org/10.4204/EPTCS.374.6
Publication status	Published - 22 Dec 2022
Event	International Workshop on Graph Computation Models - Nantes, France Duration: 6 Jul 2022 → … Conference number: 13

Name	Electronic Proceedings in Theoretical Computer Science
Publisher	Open Publishing Association
Volume	374

Conference	International Workshop on Graph Computation Models
Country/Territory	France
City	Nantes
Period	6/07/22 → …

Access to Document

@inproceedings{2c26125e6bb64048bde8e196aaa720e2,

title = "Towards Mechanised Proofs in Double-Pushout Graph Transformation",

author = "Robert Soeldner and Detlef Plump",

year = "2022",

month = dec,

day = "22",

doi = "10.4204/EPTCS.374.6",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "Open Publishing Association",

pages = "59--75",

booktitle = "Proceedings of the Thirteenth International Workshop on Graph Computation Models",

address = "Australia",

note = "International Workshop on<br/>Graph Computation Models ; Conference date: 06-07-2022",

}

Soeldner, R & Plump, D 2022, Towards Mechanised Proofs in Double-Pushout Graph Transformation. in Proceedings of the Thirteenth International Workshop on Graph Computation Models. Electronic Proceedings in Theoretical Computer Science, vol. 374, Open Publishing Association, pp. 59-75, International Workshop on
Graph Computation Models, Nantes, France, 6/07/22. https://doi.org/10.4204/EPTCS.374.6

Towards Mechanised Proofs in Double-Pushout Graph Transformation. / Soeldner, Robert; Plump, Detlef.
Proceedings of the Thirteenth International Workshop on Graph Computation Models. Open Publishing Association, 2022. p. 59-75 (Electronic Proceedings in Theoretical Computer Science; Vol. 374).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards Mechanised Proofs in Double-Pushout Graph Transformation

AU - Soeldner, Robert

AU - Plump, Detlef

N1 - Conference code: 13

PY - 2022/12/22

Y1 - 2022/12/22

U2 - 10.4204/EPTCS.374.6

DO - 10.4204/EPTCS.374.6

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 59

EP - 75

BT - Proceedings of the Thirteenth International Workshop on Graph Computation Models

PB - Open Publishing Association

T2 - International Workshop on<br/>Graph Computation Models

Y2 - 6 July 2022

ER -