Similar Items: Hardness of monadic second-order formulae over succinct graphs
- Monadic second-order definable graph orderings
- The monadic second-order logic of graphs XVI : Canonical graph decompositions
- Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
- On the Monadic Second-Order Transduction Hierarchy
- On Second-Order Monadic Monoidal and Groupoidal Quantifiers
- On the Parameterized Intractability of Monadic Second-Order Logic