Pages that link to "Item:Q2411037"
From MaRDI portal
The following pages link to The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037):
Displayed 4 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Varieties (Q2074217) (← links)
- How many times do you need to go back to the future in unary temporal logic? (Q6109021) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)