Pages that link to "Item:Q4931327"
From MaRDI portal
The following pages link to Amalgamating Pushout and Pullback Graph Transformation in Collagories (Q4931327):
Displayed 4 items.
- Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
- Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)