Asymptotic Monadic Second-Order Logic (Q2922005): Difference between revisions

@@ Property / cites work @@
+The finite graph problem for two-way alternating automata.
+Normal rank
@@ Property / cites work @@
+Weak MSO with the Unbounding Quantifier
@@ Property / cites work: Weak MSO with the Unbounding Quantifier / rank @@
+Normal rank
@@ Property / cites work @@
+On the Decidability of MSO+U on Infinite Trees
@@ Property / cites work: On the Decidability of MSO+U on Infinite Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q2920114
@@ Property / cites work: Q2920114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904801
@@ Property / cites work: Q2904801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Stabilisation Monoids and Regular Cost Functions
+Normal rank
@@ Property / cites work @@
+Regular Cost Functions, Part I: Logic and Algebra over Words
+Normal rank
@@ Property / cites work @@
+Topological model theory
@@ Property / cites work: Topological model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Rabin's uniformization problem
@@ Property / cites work: Rabin's uniformization problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q2909624
@@ Property / cites work: Q2909624 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank