Q5111639 (Q5111639): Difference between revisions

@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Synchronous Kleene Algebra with Derivatives
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in concurrent Kleene algebra
@@ Property / cites work: Developments in concurrent Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra with Tests
@@ Property / cites work: Concurrent Kleene Algebra with Tests / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra with tests and branching automata
+Normal rank
@@ Property / cites work @@
+Q5111639
@@ Property / cites work: Q5111639 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q4344149
@@ Property / cites work: Q4344149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362921
@@ Property / cites work: Q4362921 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages
+Normal rank
@@ Property / cites work @@
+Q4381401
@@ Property / cites work: Q4381401 / rank @@
+Normal rank
@@ Property / cites work @@
+Series-parallel languages and the bounded-width property
+Normal rank
@@ Property / cites work @@
+Synchronous Kleene algebra
@@ Property / cites work: Synchronous Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Bisimulation-Up-To
@@ Property / cites work: Coalgebraic Bisimulation-Up-To / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank