The following pages link to (Q5015376):
Displaying 7 items.
- On graph reasoning (Q731892) (← links)
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Incorrectness logic for graph programs (Q2117260) (← links)
- (Q3574469) (← links)
- Confluence up to Garbage (Q5100723) (← links)
- Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem (Q6535510) (← links)
- Formalising the double-pushout approach to graph transformation (Q6635513) (← links)