Star-free sets of words on ordinals (Q1854423): Difference between revisions

@@ 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.1006/inco.2000.3009
+Normal rank
@@ Property / OpenAlex ID @@
+W2005848337
@@ Property / OpenAlex ID: W2005848337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838998
@@ Property / cites work: Q3838998 / rank @@
+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 @@
+Finite automata and ordinals
@@ Property / cites work: Finite automata and ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Semigroups and Recognizability of Words on Ordinals
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5608007
@@ Property / cites work: Q5608007 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite automata, definable sets, and regular expressions over \(\omega^n\)- tapes
+Normal rank
@@ Property / cites work @@
+An application of games to the completeness problem for formalized theories
+Normal rank
@@ Property / cites work @@
+Application of model theoretic games to discrete linear orders and finite automata
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3752578
@@ Property / cites work: Q3752578 / 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 @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / 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 @@
+Q3949052
@@ Property / cites work: Q3949052 / 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 @@
+Q5340125
@@ Property / cites work: Q5340125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / 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