Lower bounds on the complexity of \(\mathsf{MSO}_1\) model-checking (Q395003): Difference between revisions

@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Q3077955
@@ Property / cites work: Q3077955 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+Strong edge-coloring of graphs with maximum degree 4 using 22 colors
+Normal rank
@@ Property / cites work @@
+Uniformly hard languages.
@@ Property / cites work: Uniformly hard languages. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255575
@@ Property / cites work: Q4255575 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4633895
@@ Property / cites work: Q4633895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5417642
@@ Property / cites work: Q5417642 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust simulations and significant separations
@@ Property / cites work: Robust simulations and significant separations / rank @@
+Normal rank
@@ Property / cites work @@
+Are There Any Good Digraph Width Measures?
@@ Property / cites work: Are There Any Good Digraph Width Measures? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086928
@@ Property / cites work: Q3086928 / rank @@
+Normal rank
@@ Property / cites work @@
+Which problems have strongly exponential complexity?
+Normal rank
@@ Property / cites work @@
+On the Parameterised Intractability of Monadic Second-Order Logic
+Normal rank
@@ Property / cites work @@
+Q3172385
@@ Property / cites work: Q3172385 / rank @@
+Normal rank
@@ Property / cites work @@
+Directed Nowhere Dense Classes of Graphs
@@ Property / cites work: Directed Nowhere Dense Classes of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-width and the monadic quantifier hierarchy.
@@ Property / cites work: Tree-width and the monadic quantifier hierarchy. / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial treewidth forces a large grid-like-minor
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank