Similar Items: Finite-Horizon First-Order Rank Profiles of Regular Languages
- Order-invariant cluster first-order logic on graph classes of bounded degree
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- Constant time testability of first-order logic with modulo counting on finitary graphs
- Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
- Edit Distance of Finite-Valued Transducers
- On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic