Pages that link to "Item:Q2957483"

The following pages link to An effective characterization of the alternation hierarchy in two-variable logic (Q2957483):

Displaying 8 items.

• Varieties (Q2074217) (← links)
• A topological approach to non-uniform complexity (Q2280323) (← links)
• The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy (Q2411037) (← links)
• Algebraic characterization of the alternation hierarchy in \(\mathrm{FO}^2[<]\) on finite words (Q2915709) (← links)
• Alternation Hierarchies of First Order Logic with Regular Predicates (Q2947877) (← links)
• An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic (Q4608719) (← links)
• (Q5079753) (← links)
• The amazing mixed polynomial closure and its applications to two-variable first-order logic (Q6649443) (← links)