Similar Items: Optimizing tree decompositions in MSO
- Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
- MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
- Expansions of MSO by cardinality relations
- Undecidability of a weak version of MSO+U
- Recursion Schemes, the MSO Logic, and the U quantifier
- Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity