Pages that link to "Item:Q3439302"
From MaRDI portal
The following pages link to Graph decompositions definable in monadic second-order logic (Q3439302):
Displaying 13 items.
- Circle graphs and monadic second-order logic (Q946577) (← links)
- A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
- The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs (Q1960417) (← links)
- The modular decomposition of countable graphs. Definition and construction in monadic second-order logic (Q2481975) (← links)
- Graph equivalences and decompositions definable in monadic second-order logic. The case of circle graphs (Q3615812) (← links)
- (Q4205068) (← links)
- Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic (Q4333462) (← links)
- Prefix-Recognizable Graphs and Monadic Logic (Q4412838) (← links)
- The definition in monadic second-order logic of modular decompositions of ordered graphs (Q4645296) (← links)
- Context-Free Graph Properties via Definable Decompositions (Q5278403) (← links)
- The monadic second-order logic of graphs XVI : Canonical graph decompositions (Q5310655) (← links)
- Computer Science Logic (Q5394586) (← links)
- On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic (Q5928867) (← links)