Existential MSO over two successors is strictly weaker than over linear orders (Q837190): Difference between revisions

@@ Property / cites work @@
+Reachability is harder for directed than for undirected finite graphs
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Q4492680
@@ Property / cites work: Q4492680 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q4654639
@@ Property / cites work: Q4654639 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of 2-structures. I: Clans, basic subclasses, and morphisms
+Normal rank
@@ Property / cites work @@
+T-structures, T-functions, and texts
@@ Property / cites work: T-structures, T-functions, and texts / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free text grammars
@@ Property / cites work: Context-free text grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic generalized spectra
@@ Property / cites work: Monadic generalized spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353557
@@ Property / cites work: Q4353557 / rank @@
+Normal rank
@@ Property / cites work @@
+On monadic NP vs monadic co-NP
@@ Property / cites work: On monadic NP vs monadic co-NP / rank @@
+Normal rank
@@ Property / cites work @@
+Q5551141
@@ Property / cites work: Q5551141 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4874660
@@ Property / cites work: Q4874660 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable text languages
@@ Property / cites work: Monadic second-order definable text languages / rank @@
+Normal rank
@@ Property / cites work @@
+Definable Transductions and Weighted Logics for Texts
+Normal rank
@@ Property / cites work @@
+Q3683903
@@ Property / cites work: Q3683903 / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic quantifier alternation hierarchy over grids and graphs
+Normal rank
@@ Property / cites work @@
+Algebraic automata and context-free sets
@@ Property / cites work: Algebraic automata and context-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714446
@@ Property / cites work: Q4714446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036584
@@ Property / cites work: Q4036584 / rank @@
+Normal rank