Pages that link to "Item:Q4608719"
From MaRDI portal
The following pages link to An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic (Q4608719):
Displaying 8 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Varieties (Q2074217) (← links)
- Algebraic characterization of the alternation hierarchy in \(\mathrm{FO}^2[<]\) on finite words (Q2915709) (← links)
- Bounds for the Quantifier Depth in Finite-Variable Logics (Q2946761) (← links)
- An effective characterization of the alternation hierarchy in two-variable logic (Q2957483) (← links)
- Bounds for the quantifier depth in finite-variable logics: alternation hierarchy (Q2958513) (← links)
- (Q5079753) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)