The following pages link to (Q4037314):
Displaying 9 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)
- Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
- Finite limits and anti-unification in substitution categories (Q2185886) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
