Similar Items: Automaton-based Characterisations of First Order Logic over Infinite Trees
- Order-invariant cluster first-order logic on graph classes of bounded degree
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic
- Finite-Horizon First-Order Rank Profiles of Regular Languages
- A uniform characterisation of the (a)synchronous must-preorder