Formalising the Double-Pushout Approach to Graph Transformation

Research output: Contribution to journal › Article › peer-review

Original language	English
Number of pages	37
Journal	Logical Methods in Computer Science
Volume	20
Issue number	4
DOIs	https://doi.org/10.46298/LMCS-20(4:3)2024
Publication status	Published - 4 Oct 2024

Access to Document

@article{ce8816c4ab344769832ba7758550dac7,

title = "Formalising the Double-Pushout Approach to Graph Transformation",

author = "Robert Soeldner and Detlef Plump",

year = "2024",

month = oct,

day = "4",

doi = "10.46298/LMCS-20(4:3)2024",

language = "English",

volume = "20",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

number = "4",

}