The following pages link to Computer Science Logic (Q5394586):
Displaying 5 items.
- The modular decomposition of countable graphs. Definition and construction in monadic second-order logic (Q2481975) (← links)
- Counting Spanning Trees in Graphs Using Modular Decomposition (Q3078398) (← links)
- Graph decompositions definable in monadic second-order logic (Q3439302) (← links)
- The definition in monadic second-order logic of modular decompositions of ordered graphs (Q4645296) (← links)
- The monadic second-order logic of graphs XVI : Canonical graph decompositions (Q5310655) (← links)