Pages that link to "Item:Q5310655"
From MaRDI portal
The following pages link to The monadic second-order logic of graphs XVI : Canonical graph decompositions (Q5310655):
Displaying 14 items.
- Split decomposition and graph-labelled trees: characterizations and fully dynamic algorithms for totally decomposable graphs (Q415271) (← links)
- Practical and efficient circle graph recognition (Q472484) (← links)
- Practical and efficient split decomposition via graph-labelled trees (Q472485) (← links)
- On the treewidth of dynamic graphs (Q744102) (← links)
- Circle graphs and monadic second-order logic (Q946577) (← links)
- Counting minimal transversals of \(\beta\)-acyclic hypergraphs (Q1713476) (← links)
- The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs (Q1960417) (← links)
- Grammars and clique-width bounds from split decompositions (Q2174558) (← links)
- The modular decomposition of countable graphs. Definition and construction in monadic second-order logic (Q2481975) (← links)
- Recognizability, hypergraph operations, and logical types (Q2496296) (← links)
- Graph decompositions definable in monadic second-order logic (Q3439302) (← links)
- Graph equivalences and decompositions definable in monadic second-order logic. The case of circle graphs (Q3615812) (← links)
- The definition in monadic second-order logic of modular decompositions of ordered graphs (Q4645296) (← links)
- Computer Science Logic (Q5394586) (← links)