On the complexity of reasoning in Kleene algebra (Q2506487): Difference between revisions

@@ Property / cites work @@
+Q4065051
@@ Property / cites work: Q4065051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational axioms for regular sets
@@ Property / cites work: Equational axioms for regular sets / rank @@
+Normal rank
@@ Property / cites work @@
+Une remarque sur les systèmes complets d'identités rationnelles
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of some problems about rational subsets of free partially commutative monoids
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+A Semiring on Convex Polygons and Zero-Sum Cycle Problems
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Q3958436
@@ Property / cites work: Q3958436 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002271
@@ Property / cites work: Q4002271 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Q3027187
@@ Property / cites work: Q3027187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the word problems for commutative semigroups and polynomial ideals
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+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 @@
+Q3777490
@@ Property / cites work: Q3777490 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank