Pages that link to "Item:Q3522863"
From MaRDI portal
The following pages link to From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863):
Displaying 7 items.
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Subobject transformation systems (Q934672) (← links)
- Algebraic transformation of unary partial algebras. I: Double-pushout approach (Q1390937) (← links)
- Model transformations as free constructions (Q1708185) (← links)
- Adhesivity with partial maps instead of spans (Q2898462) (← links)
- (Q4431332) (← links)