Robert Söldner

According to our database¹, Robert Söldner authored at least 3 papers between 2022 and 2023.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2023

Formalising the Double-Pushout Approach to Graph Transformation.

[BibT_eX]

[DOI]

CoRR, 2023

Mechanised DPO Theory: Uniqueness of Derivations and Church-Rosser Theorem.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformation - 16th International Conference, 2023

2022

Towards Mechanised Proofs in Double-Pushout Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Workshop on Graph Computation Models, 2022