The algebra of partial equivalence relations (Q1744396): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2016.09.046
@@ Property / DOI: 10.1016/j.entcs.2016.09.046 / rank @@
-Normal rank
@@ 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.entcs.2016.09.046
+Normal rank
@@ Property / OpenAlex ID @@
+W2529093814
@@ Property / OpenAlex ID: W2529093814 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113317626
@@ Property / Wikidata QID: Q113317626 / rank @@
+Normal rank
@@ Property / cites work @@
+A Categorical Semantics of Signal Flow Graphs
@@ Property / cites work: A Categorical Semantics of Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting Bialgebras Are Frobenius
@@ Property / cites work: Interacting Bialgebras Are Frobenius / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Signal Flow Graphs
@@ Property / cites work: Full Abstraction for Signal Flow Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A Connector Algebra for P/T Nets Interactions
@@ Property / cites work: A Connector Algebra for P/T Nets Interactions / rank @@
+Normal rank
@@ Property / cites work @@
+On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated distributive laws
@@ Property / cites work: Iterated distributive laws / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting quantum observables: categorical algebra and diagrammatics
+Normal rank
@@ Property / cites work @@
+Corelations are the prop for extraspecial commutative Frobenius monoids
+Normal rank
@@ Property / cites work @@
+Syntax for split preorders
@@ Property / cites work: Syntax for split preorders / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting Frobenius Algebras are Hopf
@@ Property / cites work: Interacting Frobenius Algebras are Hopf / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Coreflections in algebraic quantum logic
@@ Property / cites work: Coreflections in algebraic quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156500
@@ Property / cites work: Q3156500 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical algebra
@@ Property / cites work: Categorical algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701017
@@ Property / cites work: Q5701017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083399
@@ Property / cites work: Q4083399 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Nets, Relations and Linking Diagrams
@@ Property / cites work: Nets, Relations and Linking Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads. II
@@ Property / cites work: The formal theory of monads. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286647
@@ Property / cites work: Q5286647 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2016.09.046
@@ Property / DOI: 10.1016/J.ENTCS.2016.09.046 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1744396