Pages that link to "Item:Q810005"
From MaRDI portal
The following pages link to The structure of the models of decidable monadic theories of graphs (Q810005):
Displayed 21 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Logical aspects of Cayley-graphs: the group case (Q705541) (← links)
- Trees, grids, and MSO decidability: from graphs to matroids (Q820150) (← links)
- Vertex-minors, monadic second-order logic, and a conjecture by Seese (Q858683) (← links)
- Treewidth and logical definability of graph products (Q1006041) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- Nondeterministic operations on finite relational structures (Q1276248) (← links)
- The monadic second order logic of graphs. VI: On several representations of graphs by relational structures (Q1336623) (← links)
- A monadic second-order definition of the structure of convex hypergraphs. (Q1400707) (← links)
- Tree-width and the monadic quantifier hierarchy. (Q1401360) (← links)
- Clique-width of countable graphs: A compactness property. (Q1422417) (← links)
- The monadic second-order logic of graphs. VIII: Orientations (Q1842126) (← links)
- The monadic second-order logic of graphs. XIV: Uniformly sparse graphs and edge set quantifica\-tions. (Q1874383) (← links)
- Upper bounds to the clique width of graphs (Q1975365) (← links)
- Branch-width, parse trees, and monadic second-order logic for matroids. (Q2490835) (← links)
- The monadic second-order logic of graphs. XV: On a conjecture by D. Seese (Q2494727) (← links)
- A model-theoretic characterisation of clique width (Q2503407) (← links)
- The monadic second-order logic of graphs, II: Infinite graphs of bounded width (Q3470112) (← links)
- The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues (Q4012672) (← links)
- 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07 (Q5387300) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)