Choice functions and well-orderings over the infinite binary tree (Q607442): Difference between revisions

@@ Property / cites work @@
+Rational \(\omega\)-languages are non-ambiguous
@@ Property / cites work: Rational \(\omega\)-languages are non-ambiguous / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Sequential Conditions by Finite-State Strategies
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+MSO on the Infinite Binary Tree: Choice and Order
@@ Property / cites work: MSO on the Infinite Binary Tree: Choice and Order / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708567
@@ Property / cites work: Q4708567 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5725991
@@ Property / cites work: Q5725991 / rank @@
+Normal rank
@@ Property / cites work @@
+The Descriptive Complexity of Parity Games
@@ Property / cites work: The Descriptive Complexity of Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Rabin's uniformization problem
@@ Property / cites work: Rabin's uniformization problem / rank @@
+Normal rank
@@ Property / cites work @@
+Complementation, Disambiguation, and Determinization of Büchi Automata Unified
+Normal rank
@@ Property / cites work @@
+Uniformization, choice functions and well orders in the class of trees
+Normal rank
@@ Property / cites work @@
+Uniformization and skolem functions in the class of trees
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Systolic tree \(\omega\)-languages: The operational and the logical view
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+On decidability of monadic logic of order over the naturals extended by monadic predicates
+Normal rank
@@ Property / cites work @@
+Deciding Equivalence of Finite Tree Automata
@@ Property / cites work: Deciding Equivalence of Finite Tree Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346281
@@ Property / cites work: Q3346281 / rank @@
+Normal rank
@@ Property / cites work @@
+The recursive sets in certain monadic second order fragments of arithmetic
+Normal rank
@@ Property / cites work @@
+On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+Church’s Problem and a Tour through Automata Theory
+Normal rank