Pages that link to "Item:Q4645296"
From MaRDI portal
The following pages link to The definition in monadic second-order logic of modular decompositions of ordered graphs (Q4645296):
Displaying 8 items.
- The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← 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)
- Monadic second-order definable graph orderings (Q2871227) (← links)
- Graph decompositions definable in monadic second-order logic (Q3439302) (← links)
- Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic (Q4333462) (← links)
- The monadic second-order logic of graphs XVI : Canonical graph decompositions (Q5310655) (← links)
- Computer Science Logic (Q5394586) (← links)