A string diagrammatic axiomatisation of finite-state automata (Q2233427): Difference between revisions

@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+A Compositional Framework for Passive Linear Networks
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix and matricial iteration theories. II
@@ Property / cites work: Matrix and matricial iteration theories. II / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of signal flow diagrams. I: Linear relations on streams.
+Normal rank
@@ Property / cites work @@
+Q5725992
@@ Property / cites work: Q5725992 / rank @@
+Normal rank
@@ Property / cites work @@
+Picturing Quantum Processes
@@ Property / cites work: Picturing Quantum Processes / rank @@
+Normal rank
@@ Property / cites work @@
+An Invitation to Applied Category Theory
@@ Property / cites work: An Invitation to Applied Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024908
@@ Property / cites work: Q3024908 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-certifying railroad diagrams. Or: how to teach nondeterministic finite automata
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Glueing and orthogonality for models of linear logic
+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 @@
+Traced monoidal categories
@@ Property / cites work: Traced monoidal categories / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra: free model and completeness
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Q3156500
@@ Property / cites work: Q3156500 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040149
@@ Property / cites work: Q4040149 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical calculus of the ideas immanent in nervous activity
+Normal rank
@@ Property / cites work @@
+A string diagrammatic axiomatisation of finite-state automata
+Normal rank
@@ Property / cites work @@
+Q4273477
@@ Property / cites work: Q4273477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596826
@@ Property / cites work: Q5596826 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Graphical Languages for Monoidal Categories
+Normal rank
@@ Property / cites work @@
+Connector algebras for C/E and P/T nets' interactions
+Normal rank
@@ Property / cites work @@
+Q4492940
@@ Property / cites work: Q4492940 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank
@@ Property / cites work @@
+The programming language Pascal
@@ Property / cites work: The programming language Pascal / rank @@
+Normal rank