The following pages link to Varieties (Q2074217):
Displaying 3 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)
