Trees, grids, and MSO decidability: from graphs to matroids (Q820150): Difference between revisions

@@ Property / author @@
+Detlef Seese
@@ Property / author: Detlef Seese / 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.tcs.2005.10.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1999958048
@@ Property / OpenAlex ID: W1999958048 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Finding Embeddings in a <i>k</i>-Tree
+Normal rank
@@ Property / cites work @@
+Q3812222
@@ Property / cites work: Q3812222 / rank @@
+Normal rank
@@ Property / cites work @@
+Easy problems for tree-decomposable graphs
@@ Property / cites work: Easy problems for tree-decomposable graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884080
@@ Property / cites work: Q3884080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736874
@@ Property / cites work: Q4736874 / rank @@
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
+Normal rank
@@ Property / cites work @@
+The monadic second order logic of graphs. VI: On several representations of graphs by relational structures
+Normal rank
@@ Property / cites work @@
+Monadic second-order definable graph transductions: a survey
+Normal rank
@@ Property / cites work @@
+Structural properties of context-free sets of graphs generated by vertex replacement
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. X: Linear orderings
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. XII: Planar graphs and planar maps
+Normal rank
@@ Property / cites work @@
+The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions.
+Normal rank
@@ Property / cites work @@
+Q4852905
@@ Property / cites work: Q4852905 / rank @@
+Normal rank
@@ Property / cites work @@
+Handle-rewriting hypergraph grammars
@@ Property / cites work: Handle-rewriting hypergraph grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Linear time solvable optimization problems on graphs of bounded clique-width
+Normal rank
@@ Property / cites work @@
+Monadic second-order evaluations on tree-decomposable graphs
+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 @@
+Vertex-minors, monadic second-order logic, and a conjecture by Seese
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to large cardinals
@@ Property / cites work: Set theory. An introduction to large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298571
@@ Property / cites work: Q4298571 / rank @@
+Normal rank
@@ Property / cites work @@
+The first order properties of products of algebraic systems
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+The Undecidability of Theories of Groupoids with an Extra Predicate
+Normal rank
@@ Property / cites work @@
+On the excluded minors for the matroids of branch-width \(k\)
+Normal rank
@@ Property / cites work @@
+Branch-width and well-quasi-ordering in matroids and graphs.
+Normal rank
@@ Property / cites work @@
+Excluding a planar graph from \(\mathrm{GF}(q)\)-representable matroids
+Normal rank
@@ Property / cites work @@
+Monadic theory of order and topology, I
@@ Property / cites work: Monadic theory of order and topology, I / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic theory of order and topology. II
@@ Property / cites work: Monadic theory of order and topology. II / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of <i>ω</i><sub>2</sub>
@@ Property / cites work: The monadic theory of <i>ω</i><sub>2</sub> / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic theory of order and topology in ZFC
@@ Property / cites work: Monadic theory of order and topology in ZFC / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory and the ''next world''
@@ Property / cites work: The monadic theory and the ''next world'' / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of the interpretation method
@@ Property / cites work: On the strength of the interpretation method / rank @@
+Normal rank
@@ Property / cites work @@
+Q5680120
@@ Property / cites work: Q5680120 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpretierbarkeit in der Gruppentheorie
@@ Property / cites work: Interpretierbarkeit in der Gruppentheorie / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404920
@@ Property / cites work: Q4404920 / rank @@
+Normal rank
@@ Property / cites work @@
+A Parametrized Algorithm for Matroid Branch-Width
@@ Property / cites work: A Parametrized Algorithm for Matroid Branch-Width / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2003
@@ Property / cites work: Mathematical Foundations of Computer Science 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized and Exact Computation
@@ Property / cites work: Parameterized and Exact Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4381404
@@ Property / cites work: Q4381404 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Theoretic Concepts in Computer Science
@@ Property / cites work: Graph-Theoretic Concepts in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135082
@@ Property / cites work: Q3135082 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586299
@@ Property / cites work: Q5586299 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q3684139
@@ Property / cites work: Q3684139 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. X: Obstructions to tree-decomposition
+Normal rank
@@ Property / cites work @@
+Graph minors. XX: Wagner's conjecture
@@ Property / cites work: Graph minors. XX: Wagner's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668796
@@ Property / cites work: Q5668796 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4135492
@@ Property / cites work: Q4135492 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4097268
@@ Property / cites work: Q4097268 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4154858
@@ Property / cites work: Q4154858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4166737
@@ Property / cites work: Q4166737 / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of the models of decidable monadic theories of graphs
+Normal rank
@@ Property / cites work @@
+Q4273661
@@ Property / cites work: Q4273661 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing graphic matroids
@@ Property / cites work: Recognizing graphic matroids / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on monadic logic. Part B: Complexity of linear orders in ZFC
+Normal rank