Similar Items: A Functional (Monadic) Second-Order Theory of Infinite Trees
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
- Monadic second-order definable graph orderings
- On the Monadic Second-Order Transduction Hierarchy
- On Second-Order Monadic Monoidal and Groupoidal Quantifiers
- On the Parameterized Intractability of Monadic Second-Order Logic