Equational Reasoning with Context-Free Families of String Diagrams (Q2947216): Difference between revisions

@@ Property / OpenAlex ID @@
+W3100985285
@@ Property / OpenAlex ID: W3100985285 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02716
@@ Property / arXiv ID: 1504.02716 / rank @@
+Normal rank
@@ Property / cites work @@
+The ZX-calculus is complete for stabilizer quantum mechanics
+Normal rank
@@ Property / cites work @@
+Categories in Control
@@ Property / cites work: Categories in Control / 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 @@
+Interacting quantum observables: categorical algebra and diagrammatics
+Normal rank
@@ Property / cites work @@
+Strong Complementarity and Non-locality in Categorical Quantum Mechanics
+Normal rank
@@ Property / cites work @@
+Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
+Normal rank
@@ Property / cites work @@
+The Compositional Structure of Multipartite Quantum Entanglement
+Normal rank
@@ Property / cites work @@
+Open-graphs and monoidal theories
@@ Property / cites work: Open-graphs and monoidal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Graph States and the Necessity of Euler Decomposition
+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 @@
+Pattern graph rewrite systems
@@ Property / cites work: Pattern graph rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Equational Reasoning with Context-Free Families of String Diagrams
+Normal rank
@@ Property / cites work @@
+Quantomatic: A Proof Assistant for Diagrammatic Reasoning
+Normal rank
@@ Property / cites work @@
+Pair grammars, graph languages and string-to-graph translations
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Boundary NLC graph grammars—Basic definitions, normal forms, and complexity
+Normal rank
@@ Property / cites work @@
+Representations of Petri Net Interactions
@@ Property / cites work: Representations of Petri Net Interactions / rank @@
+Normal rank