Robert Söldner

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Graph Transformation

Top Venues

Publications

Robert Söldner, Detlef Plump
Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem. ICGT (2023)
Robert Söldner, Detlef Plump
Formalising the Double-Pushout Approach to Graph Transformation. CoRR (2023)
Robert Söldner, Detlef Plump
Towards Mechanised Proofs in Double-Pushout Graph Transformation. CoRR (2022)