Pages that link to "Item:Q2423749"
From MaRDI portal
The following pages link to Specifying graph languages with type graphs (Q2423749):
Displaying 7 items.
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Preface to the special issue on the 10th international conference on graph transformation (Q2423748) (← links)
- Specifying graph languages with type graphs (Q2423749) (← links)
- (Q4972009) (redirect page) (← links)
- (Q5020535) (← links)
- (Q5021224) (← links)
- CoReS: a tool for computing core graphs via SAT/SMT solvers (Q5918209) (← links)
