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):
Displaying 6 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Varieties (Q2074217) (← links)
- On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages (Q2904628) (← links)
- An effective characterization of the alternation hierarchy in two-variable logic (Q2957483) (← links)
- Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable (Q2957893) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)