Collagories: relation-algebraic reasoning for gluing constructions (Q549680): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2011.04.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1994967437
@@ Property / OpenAlex ID: W1994967437 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Refinement
@@ Property / cites work: Data Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q3416071
@@ Property / cites work: Q3416071 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Van Kampen Colimits as Bicolimits in Span
@@ Property / cites work: Van Kampen Colimits as Bicolimits in Span / rank @@
+Normal rank
@@ Property / cites work @@
+Collagories for Relational Adhesive Rewriting
@@ Property / cites work: Collagories for Relational Adhesive Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Amalgamating Pushout and Pullback Graph Transformation in Collagories
+Normal rank
@@ Property / cites work @@
+Pushout-complements and basic concepts of grammars in toposes
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287518
@@ Property / cites work: Q5287518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680353
@@ Property / cites work: Q4680353 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549680