Pages that link to "Item:Q3608423"
From MaRDI portal
The following pages link to Structure Theorem and Strict Alternation Hierarchy for FO2 on Words (Q3608423):
Displaying 8 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Algebraic characterization of the alternation hierarchy in \(\mathrm{FO}^2[<]\) on finite words (Q2915709) (← links)
- On the strictness of the quantifier structure hierarchy in first-order logic (Q2930128) (← links)
- Bounds for the Quantifier Depth in Finite-Variable Logics (Q2946761) (← links)
- Bounds for the quantifier depth in finite-variable logics: alternation hierarchy (Q2958513) (← links)
- On FO 2 Quantifier Alternation over Words (Q3182951) (← links)
- Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words (Q3395099) (← links)
- On Simon's congruence closure of a string (Q6093575) (← links)