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

@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q70
@@ Property / Mathematics Subject Classification ID: 68Q70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+R15
@@ Property / Mathematics Subject Classification ID: 68R15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6033508
@@ Property / zbMATH DE Number: 6033508 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+regular languages
@@ Property / zbMATH Keywords: regular languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rational languages
@@ Property / zbMATH Keywords: rational languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+recognizable languages
@@ Property / zbMATH Keywords: recognizable languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+infinite words
@@ Property / zbMATH Keywords: infinite words / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+transfinite words
@@ Property / zbMATH Keywords: transfinite words / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear orderings
@@ Property / zbMATH Keywords: linear orderings / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+star-free sets
@@ Property / zbMATH Keywords: star-free sets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+first-order logic
@@ Property / zbMATH Keywords: first-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+varieties
@@ Property / zbMATH Keywords: varieties / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2011.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1975463147
@@ Property / OpenAlex ID: W1975463147 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:414913