The following pages link to (Q5089232):
Displaying 5 items.
- Alternating complexity of counting first-order logic for the subword order (Q2687036) (← links)
- Complexity Results for First-Order Two-Variable Logic with Counting (Q4943858) (← links)
- The Subtrace Order and Counting First-Order Logic (Q5042249) (← links)
- (Q5144688) (← links)
- Existential Definability over the Subword Ordering (Q6178718) (← links)