A Fully Equational Proof of Parikh's Theorem (Q4787831): Difference between revisions

@@ Property / cites work @@
+Floyd-Hoare logic in iteration theories
@@ Property / cites work: Floyd-Hoare logic in iteration theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287508
@@ Property / cites work: Q5287508 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational elements in additive algebras
@@ Property / cites work: Equational elements in additive algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411820
@@ Property / cites work: Q4411820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590815
@@ Property / cites work: Q5590815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700998
@@ Property / cites work: Q4700998 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668872
@@ Property / cites work: Q3668872 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of equivalence problems for commutative grammars
+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 @@
+Q4218125
@@ Property / cites work: Q4218125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735051
@@ Property / cites work: Q3735051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3730012
@@ Property / cites work: Q3730012 / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624635
@@ Property / cites work: Q5624635 / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative Regular Equations and Parikh's Theorem
+Normal rank
@@ Property / cites work @@
+Q5588675
@@ Property / cites work: Q5588675 / rank @@
+Normal rank