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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-44522-8_8
+Normal rank
@@ Property / OpenAlex ID @@
+W160577732
@@ Property / OpenAlex ID: W160577732 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2922005