Pages that link to "Item:Q2423749"
From MaRDI portal
The following pages link to Specifying graph languages with type graphs (Q2423749):
Displaying 13 items.
- Membership(s) and compliance(s) with class-based graphs (Q456151) (← links)
- Reachability predicates for graph assertions (Q1708656) (← links)
- Finite languages for the representation of finite graphs (Q1915513) (← links)
- 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)
- A general framework for types in graph rewriting (Q2581012) (← links)
- (Q4027629) (← links)
- (Q4472460) (← links)
- (Q4972009) (redirect page) (← links)
- (Q5020535) (← links)
- (Q5021224) (← links)
- CoReS: a tool for computing core graphs via SAT/SMT solvers (Q5918209) (← links)