Amalgamating Pushout and Pullback Graph Transformation in Collagories
From MaRDI portal
Publication:4931327
DOI10.1007/978-3-642-15928-2_24zbMath1306.68077OpenAlexW1837826463MaRDI QIDQ4931327
Publication date: 4 October 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15928-2_24
Related Items (max. 100)
Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras ⋮ Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Collagories: relation-algebraic reasoning for gluing constructions ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}
This page was built for publication: Amalgamating Pushout and Pullback Graph Transformation in Collagories