Pages that link to "Item:Q2918976"
From MaRDI portal
The following pages link to Refined Graph Rewriting in Span-Categories (Q2918976):
Displaying 6 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- The PBPO graph transformation approach (Q1734525) (← links)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Graph Transformation by Computational Category Theory (Q3059706) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- Graph Rewriting in Span-Categories (Q4931317) (← links)