On the model-checking of monadic second-order formulas with edge set quantifications (Q415286): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+C69
@@ Property / Mathematics Subject Classification ID: 05C69 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B15
@@ Property / Mathematics Subject Classification ID: 03B15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C70
@@ Property / Mathematics Subject Classification ID: 05C70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C12
@@ Property / Mathematics Subject Classification ID: 05C12 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6033767
@@ Property / zbMATH DE Number: 6033767 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tree-width
@@ Property / zbMATH Keywords: tree-width / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+clique-width
@@ Property / zbMATH Keywords: clique-width / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+monadic second-order logic
@@ Property / zbMATH Keywords: monadic second-order logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graph decomposition
@@ Property / zbMATH Keywords: graph decomposition / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model-checking
@@ Property / zbMATH Keywords: model-checking / rank @@
+Normal rank
@@ 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