The following pages link to Sesqui-Pushout Rewriting (Q3541945):
Displayed 7 items.
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- How to delete categorically -- two pushout complement constructions (Q631570) (← links)
- Subobject transformation systems (Q934672) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Model Transformation and Induced Instance Migration: A Universal Framework (Q3098049) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- A Heterogeneous Pushout Approach to Term-Graph Transformation (Q3636827) (← links)