Pages that link to "Item:Q1635804"

The following pages link to Level two of the quantifier alternation hierarchy over infinite words (Q1635804):

Displaying 3 items.

• Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
• Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188) (← links)
• Forbidden Patterns for FO² Alternation Over Finite and Infinite Words (Q6169964) (← links)