Items where authors include "Soeldner, Robert"

Article

Soeldner, Robert and Plump, Detlef orcid.org/0000-0002-1148-822X (2024) Formalising the Double-Pushout Approach to Graph Transformation. Logical Methods in Computer Science. ISSN 1860-5974

Proceedings Paper

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). UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 123-142.

Soeldner, Robert and Plump, Detlef orcid.org/0000-0002-1148-822X (2022) Towards Mechanised Proofs in Double-Pushout Graph Transformation. In: Proceedings of the Thirteenth International Workshop on Graph Computation Models. International Workshop on Graph Computation Models, 06 Jul 2022. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , FRA , pp. 59-75.