The following pages link to (Q4037314):
Displaying 6 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
