Pages that link to "Item:Q3868784"
From MaRDI portal
The following pages link to Pushout-Properties: An analysis of gluing constructions for graphs (Q3868784):
Displaying 16 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- Relational graph rewritings (Q673789) (← links)
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Pushout-complements and basic concepts of grammars in toposes (Q757576) (← links)
- Exponentiable morphisms, partial products and pullback complements (Q1112156) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Amalgamation of graph transformations: a synchronization mechanism (Q1822505) (← links)
- High-Level Programs and Program Conditions (Q3540400) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)
- Parallelism and concurrency in high-level replacement systems (Q4006236) (← links)
- Triangular Logic of Partial Toposes (Q4443409) (← links)
- (Q4563240) (← links)
- The contractum in algebraic graph rewriting (Q4645265) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)
- Pullbacks of graph C*-algebras from admissible pushouts of graphs (Q5128742) (← links)
