Similar Items: Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
- Expansions of MSO by cardinality relations
- Optimizing tree decompositions in MSO
- Undecidability of a weak version of MSO+U
- Recursion Schemes, the MSO Logic, and the U quantifier
- Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
- A Coalgebraic Approach to Dualities for Neighborhood Frames