Free inductive \(K\)-semialgebras (Q383784): Difference between revisions

@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Conjugacy and Equivalence of Weighted Automata and Functional Transducers
+Normal rank
@@ Property / cites work @@
+Matrix and matricial iteration theories. I
@@ Property / cites work: Matrix and matricial iteration theories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing rational power series over natural numbers
+Normal rank
@@ Property / cites work @@
+Q5506336
@@ Property / cites work: Q5506336 / rank @@
+Normal rank
@@ Property / cites work @@
+Une remarque sur les systèmes complets d'identités rationnelles
+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 @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Group axioms for iteration
@@ Property / cites work: Group axioms for iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration Semirings
@@ Property / cites work: Iteration Semirings / rank @@
+Normal rank
@@ Property / cites work @@
+A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
+Normal rank
@@ Property / cites work @@
+Inductive \(^{*}\)-semirings
@@ Property / cites work: Inductive \(^{*}\)-semirings / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Automata
@@ Property / cites work: Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Free iterative and iteration \(K\)-semialgebras
@@ Property / cites work: Free iterative and iteration \(K\)-semialgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4433737
@@ Property / cites work: Q4433737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229053
@@ Property / cites work: Q4229053 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete systems of \(\mathcal B\)-rational identities
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596826
@@ Property / cites work: Q5596826 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596827
@@ Property / cites work: Q5596827 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+Q3644388
@@ Property / cites work: Q3644388 / rank @@
+Normal rank