Similar Items: On the Monadic Second-Order Transduction Hierarchy
- Monadic second-order definable graph orderings
- On Second-Order Monadic Monoidal and Groupoidal Quantifiers
- On the Parameterized Intractability of Monadic Second-Order Logic
- Monadic Second Order Logic with Measure and Category Quantifiers
- A Functional (Monadic) Second-Order Theory of Infinite Trees
- Hardness of monadic second-order formulae over succinct graphs