Completeness and the finite model property for Kleene algebra, reconsidered (Q6174420): Difference between revisions

@@ Property / cites work @@
+NetKAT
@@ Property / cites work: NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Une remarque sur les systèmes complets d'identités rationnelles
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Left-Handed Completeness for Kleene algebra, via Cyclic Proofs
+Normal rank
@@ Property / cites work @@
+On the fine-structure of regular algebra
@@ Property / cites work: On the fine-structure of regular algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages
+Normal rank
@@ Property / cites work @@
+Completeness and the finite model property for Kleene algebra, reconsidered
+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 @@
+Q2762494
@@ Property / cites work: Q2762494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767087
@@ Property / cites work: Q2767087 / rank @@
+Normal rank
@@ Property / cites work @@
+Left-handed completeness
@@ Property / cites work: Left-handed completeness / rank @@
+Normal rank
@@ Property / cites work @@
+The Böhm–Jacopini Theorem Is False, Propositionally
+Normal rank
@@ Property / cites work @@
+Q4038681
@@ Property / cites work: Q4038681 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5570933
@@ Property / cites work: Q5570933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5536277
@@ Property / cites work: Q5536277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472890
@@ Property / cites work: Q5472890 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+A fast compiler for NetKAT
@@ Property / cites work: A fast compiler for NetKAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank