COMPLEMENTATION OF RATIONAL SETS ON COUNTABLE SCATTERED LINEAR ORDERINGS (Q5462675): Difference between revisions

@@ 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 @@
+Star-free sets of words on ordinals
@@ Property / cites work: Star-free sets of words on ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+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 @@
+Bilimites de langages reconnaissables
@@ Property / cites work: Bilimites de langages reconnaissables / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+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