Pages that link to "Item:Q2192461"
From MaRDI portal
The following pages link to Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461):
Displaying 3 items.
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Preface to the special issue on the 12th international conference on graph transformation (Q2192462) (← links)
- A generic construction for crossovers of graph-like structures and its realization in the Eclipse Modeling Framework (Q6151605) (← links)