Formalising the Double-Pushout Approach to Graph Transformation

Robert Soeldner, Detlef Plump

Computer Science

Research output: Book/Report › Other report

Original language	English
Publisher	ArXiv e-prints
Number of pages	36
DOIs	https://doi.org/10.48550/arXiv.2312.15641
Publication status	Published - 2023

Access to Document

10.48550/arXiv.2312.15641Licence: Unspecified

Cite this