Decision problems forω-automata (Q5573396): Difference between revisions

@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+Definability in the monadic second-order theory of                            successor
+Normal rank
@@ Property / cites work @@
+Sets of Numbers Defined by Finite Automata
@@ Property / cites work: Sets of Numbers Defined by Finite Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q5614666
@@ Property / cites work: Q5614666 / rank @@
+Normal rank