Pages that link to "Item:Q3615812"
From MaRDI portal
The following pages link to Graph equivalences and decompositions definable in monadic second-order logic. The case of circle graphs (Q3615812):
Displaying 10 items.
- Circle graphs and monadic second-order logic (Q946577) (← links)
- The monadic second order logic of graphs. VI: On several representations of graphs by relational structures (Q1336623) (← links)
- The monadic second-order logic of graphs. X: Linear orderings (Q1366538) (← links)
- The monadic second-order logic of graphs. XII: Planar graphs and planar maps (Q1566702) (← links)
- The monadic second-order logic of graphs. XI: Hierarchical decompositions of connected graphs (Q1960417) (← links)
- Graph decompositions definable in monadic second-order logic (Q3439302) (← links)
- (Q4205068) (← links)
- Regular Subgraphs in Graphs and Rooted Graphs and Definability in Monadic Second - Order Logic (Q4333462) (← links)
- On the expression of graph properties in some fragments of monadic second-order logic (Q4353558) (← links)
- Computer Science Logic (Q5394586) (← links)