Q5089242 (Q5089242): Difference between revisions

@@ 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 @@
+AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS
+Normal rank
@@ Property / cites work @@
+Q4894127
@@ Property / cites work: Q4894127 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformisations of Regular Relations Over Bi-Infinite Words
+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 @@
+Uniformization and skolem functions in the class of trees
+Normal rank
@@ Property / cites work @@
+Linear Automaton Transformations
@@ Property / cites work: Linear Automaton Transformations / 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 @@
+The recursive sets in certain monadic second order fragments of arithmetic
+Normal rank