Similar Items: Existential Definability over the Subword Ordering
- The height of piecewise-testable languages and the complexity of the logic of subwords
- On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
- Monadic second-order definable graph orderings
- Defining Recursive Predicates in Graph Orders
- Definability of linear equation systems over groups and rings
- Learning Concepts Definable in First-Order Logic with Counting