Schützenberger and Eilenberg theorems for words on linear orderings (Q414913): Difference between revisions

@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Semigroups and Recognizability of Words on Ordinals
+Normal rank
@@ Property / cites work @@
+Logic over words on denumerable ordinals
@@ Property / cites work: Logic over words on denumerable ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free sets of words on ordinals
@@ Property / cites work: Star-free sets of words on ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838998
@@ Property / cites work: Q3838998 / rank @@
+Normal rank
@@ Property / cites work @@
+Developments in Language Theory
@@ Property / cites work: Developments in Language Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Automata on linear orderings
@@ Property / cites work: Automata on linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5618355
@@ Property / cites work: Q5618355 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5608007
@@ Property / cites work: Q5608007 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision methods in the theory of ordinals
@@ Property / cites work: Decision methods in the theory of ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Unambiguous Büchi automata.
@@ Property / cites work: Unambiguous Büchi automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5835082
@@ Property / cites work: Q5835082 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728249
@@ Property / cites work: Q3728249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3698327
@@ Property / cites work: Q3698327 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic and star-free sets
@@ Property / cites work: First-order logic and star-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776657
@@ Property / cites work: Q3776657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS
+Normal rank
@@ Property / cites work @@
+$ℵ_0$-categoricity of linear orderings
@@ Property / cites work: $ℵ_0$-categoricity of linear orderings / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Star-free regular sets of ω-sequences
@@ Property / cites work: Star-free regular sets of ω-sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036596
@@ Property / cites work: Q4036596 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3691083
@@ Property / cites work: Q3691083 / rank @@
+Normal rank