The closure under division and a characterization of the recognizable $\mathcal {Z}$-subsets (Q4717041): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W115831105
@@ Property / OpenAlex ID: W115831105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691074
@@ Property / cites work: Q3691074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+A decision procedure for the order of regular events
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Improved limitedness theorems on finite automata with distance functions
+Normal rank
@@ Property / cites work @@
+Algorithms for determining relative star height and star height
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Some consequences of a Fatou property of the tropical semiring
+Normal rank
@@ Property / cites work @@
+Limitedness theorem on finite automata with distance functions: An algebraic proof
+Normal rank
@@ Property / cites work @@
+Factorization forests of finite height
@@ Property / cites work: Factorization forests of finite height / rank @@
+Normal rank
@@ Property / cites work @@
+Q3804221
@@ Property / cites work: Q3804221 / rank @@
+Normal rank
@@ Property / cites work @@
+On semigroups of matrices over the tropical semiring
+Normal rank