On the model-checking of monadic second-order formulas with edge set quantifications (Q415286): 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.1016/j.dam.2010.12.017
+Normal rank
@@ Property / OpenAlex ID @@
+W2088523331
@@ Property / OpenAlex ID: W2088523331 / rank @@
+Normal rank
@@ Property / cites work @@
+Domino Treewidth
@@ Property / cites work: Domino Treewidth / rank @@
+Normal rank
@@ Property / cites work @@
+Asteroids in rooted and directed path graphs
@@ Property / cites work: Asteroids in rooted and directed path graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the Relationship Between Clique-Width and Treewidth
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+Automata for the verification of monadic second-order graph properties
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+Upper bounds to the clique width of graphs
@@ Property / cites work: Upper bounds to the clique width of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5315023
@@ Property / cites work: Q5315023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503944
@@ Property / cites work: Q4503944 / rank @@
+Normal rank
@@ Property / cites work @@
+Clique-Width is NP-Complete
@@ Property / cites work: Clique-Width is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Parametrized complexity theory.
@@ Property / cites work: Parametrized complexity theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of first-order and monadic second-order logic revisited
+Normal rank
@@ Property / cites work @@
+A recognition algorithm for the intersection graphs of directed paths in directed trees
+Normal rank
@@ Property / cites work @@
+ON THE CLIQUE-WIDTH OF SOME PERFECT GRAPH CLASSES
@@ Property / cites work: ON THE CLIQUE-WIDTH OF SOME PERFECT GRAPH CLASSES / rank @@
+Normal rank
@@ Property / cites work @@
+Finding Branch-Decompositions and Rank-Decompositions
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating clique-width and branch-width
@@ Property / cites work: Approximating clique-width and branch-width / rank @@
+Normal rank
@@ Property / cites work @@
+Q3692864
@@ Property / cites work: Q3692864 / rank @@
+Normal rank
@@ Property / cites work @@
+Cosmological lower bound on the circuit complexity of a small problem in logic
+Normal rank
@@ Property / cites work @@
+Decidability of S1S and S2S
@@ Property / cites work: Decidability of S1S and S2S / rank @@
+Normal rank
@@ Property / cites work @@
+On tree-partition-width
@@ Property / cites work: On tree-partition-width / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:415286