Pages that link to "Item:Q757576"
From MaRDI portal
The following pages link to Pushout-complements and basic concepts of grammars in toposes (Q757576):
Displayed 12 items.
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- How to delete categorically -- two pushout complement constructions (Q631570) (← links)
- Relational graph rewritings (Q673789) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- An algebraic formalization of fuzzy relations (Q1302221) (← links)
- Categorical representation theorems of fuzzy relations (Q1961868) (← links)
- Properties of graphs preserved by relational graph rewritings (Q1961871) (← links)
- The uniqueness condition for the double pushout transformation of algebras (Q2486006) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
- (Q4032925) (← links)
- Relational set theory (Q5057465) (← links)
- Relational structures and their partial morphisms in view of single pushout rewriting (Q5096284) (← links)