Pages that link to "Item:Q1635804"
From MaRDI portal
The following pages link to Level two of the quantifier alternation hierarchy over infinite words (Q1635804):
Displaying 9 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- The decision problem for some logics for finite words on infinite alphabets (Q843605) (← links)
- First-order fragments with successor over infinite words (Q3113701) (← links)
- (Q4202955) (← links)
- (Q4542541) (← links)
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (Q5167850) (← links)
- Going Higher in First-Order Quantifier Alternation Hierarchies on Words (Q5244385) (← links)
- Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)