Pages that link to "Item:Q4585009"
From MaRDI portal
The following pages link to Interactive and automated proofs for graph transformations (Q4585009):
Displaying 7 items.
- Monadic second-order incorrectness logic for GP 2 (Q2096431) (← links)
- Theorem proving graph grammars with attributes and negative application conditions (Q2358623) (← links)
- (Q5020535) (← links)
- (Q6198042) (← links)
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem (Q6535510) (← links)
- A living monograph for graph transformation (Q6535522) (← links)
- Formalising the double-pushout approach to graph transformation (Q6635513) (← links)
