A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata (Q3526417): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2000587532
@@ Property / OpenAlex ID: W2000587532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449534
@@ Property / cites work: Q4449534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Determinization of Weighted Finite Automata
+Normal rank
@@ Property / cites work @@
+On factorization forests of finite height
@@ Property / cites work: On factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Une caractérisation des fonctions séquentielles et des fonctions sous- séquentielles en tant que rélations rationnelles
+Normal rank
@@ Property / cites work @@
+Parametrized recurrent systems for image generation
+Normal rank
@@ Property / cites work @@
+Algorithms for determining relative star height and star height
+Normal rank
@@ Property / cites work @@
+Improved limitedness theorems on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+New upper bounds to the limitedness of distance automata
+Normal rank
@@ Property / cites work @@
+DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA
+Normal rank
@@ Property / cites work @@
+Q2754144
@@ Property / cites work: Q2754144 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication complexity method for measuring nondeterminism in finite automata
+Normal rank
@@ Property / cites work @@
+Q3742754
@@ Property / cites work: Q3742754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2766855
@@ Property / cites work: Q2766855 / rank @@
+Normal rank
@@ Property / cites work @@
+Distance desert automata and the star height problem
+Normal rank
@@ Property / cites work @@
+Q3431481
@@ Property / cites work: Q3431481 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions: An algebraic proof
+Normal rank
@@ Property / cites work @@
+Separating Exponentially Ambiguous Finite Automata from Polynomially Ambiguous Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4395215
@@ Property / cites work: Q4395215 / rank @@
+Normal rank
@@ Property / cites work @@
+The limitedness problem on distance automata: Hashiguchi's method revisited
+Normal rank
@@ Property / cites work @@
+New results on the star problem in trace monoids
@@ Property / cites work: New results on the star problem in trace monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804221
@@ Property / cites work: Q3804221 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization forests of finite height
@@ Property / cites work: Factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273675
@@ Property / cites work: Q4273675 / rank @@
+Normal rank
@@ Property / cites work @@
+On semigroups of matrices over the tropical semiring
+Normal rank
@@ Property / cites work @@
+Distance automata having large finite distance or finite ambiguity
+Normal rank
@@ Property / cites work @@
+Finite-valued distance automata
@@ Property / cites work: Finite-valued distance automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3526417