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 6 items.
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- 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)
- A Generic Construction for Crossovers of Graph-Like Structures (Q6487307) (← links)
- Computational Category-Theoretic Rewriting (Q6487309) (← links)