Completeness of Nominal PROPs (Q5883754): Difference between revisions

@@ Property / DOI @@
-.46298/lmcs-19(1:8)2023
@@ Property / DOI: 10.46298/lmcs-19(1:8)2023 / rank @@
-Normal rank
@@ Property / author @@
-Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
-Normal rank
@@ Property / author @@
+Alexander Kurz
@@ Property / author: Alexander Kurz / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3017316050
@@ Property / OpenAlex ID: W3017316050 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting modulo symmetric monoidal structure
@@ Property / cites work: Rewriting modulo symmetric monoidal structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875359
@@ Property / cites work: Q5875359 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory in nominal sets
@@ Property / cites work: Automata theory in nominal sets / 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 @@
+The calculus of signal flow diagrams. I: Linear relations on streams.
+Normal rank
@@ Property / cites work @@
+Picturing Quantum Processes
@@ Property / cites work: Picturing Quantum Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Coherent Presentations of Monoidal Categories
@@ Property / cites work: Coherent Presentations of Monoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+A Program Construction and Verification Tool for Separation Logic
+Normal rank
@@ Property / cites work @@
+Multi-type display calculus for dynamic epistemic logic
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3384925
@@ Property / cites work: Q3384925 / rank @@
+Normal rank
@@ Property / cites work @@
+Stone Duality for Nominal Boolean Algebras with И
+Normal rank
@@ Property / cites work @@
+Nominal (Universal) Algebra: Equational Logic with Names and Binding
+Normal rank
@@ Property / cites work @@
+The semantics of BI and resource tableaux
@@ Property / cites work: The semantics of BI and resource tableaux / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536279
@@ Property / cites work: Q5536279 / rank @@
+Normal rank
@@ Property / cites work @@
+On the category of props
@@ Property / cites work: On the category of props / rank @@
+Normal rank
@@ Property / cites work @@
+Causal inference by string diagram surgery
@@ Property / cites work: Causal inference by string diagram surgery / rank @@
+Normal rank
@@ Property / cites work @@
+The geometry of tensor calculus. I
@@ Property / cites work: The geometry of tensor calculus. I / rank @@
+Normal rank
@@ Property / cites work @@
+Braided tensor categories
@@ Property / cites work: Braided tensor categories / rank @@
+Normal rank
@@ Property / cites work @@
+The Logical Essentials of Bayesian Reasoning
@@ Property / cites work: The Logical Essentials of Bayesian Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3156500
@@ Property / cites work: Q3156500 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards an algebraic theory of Boolean circuits.
@@ Property / cites work: Towards an algebraic theory of Boolean circuits. / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and logic as a source of algebra
@@ Property / cites work: Topology and logic as a source of algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Denotational Semantics with Nominal Scott Domains
@@ Property / cites work: Denotational Semantics with Nominal Scott Domains / rank @@
+Normal rank
@@ Property / cites work @@
+Functorial Boxes in String Diagrams
@@ Property / cites work: Functorial Boxes in String Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Learning nominal automata
@@ Property / cites work: Learning nominal automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5620163
@@ Property / cites work: Q5620163 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Classical roots of knot theory
@@ Property / cites work: Classical roots of knot theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Nominal Domain Theory for Concurrency
@@ Property / cites work: Nominal Domain Theory for Concurrency / rank @@
+Normal rank
@@ Property / DOI @@
+.46298/LMCS-19(1:8)2023
@@ Property / DOI: 10.46298/LMCS-19(1:8)2023 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5883754