Pages that link to "Item:Q5740188"
From MaRDI portal
The following pages link to Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188):
Displaying 7 items.
- The decision problem for some logics for finite words on infinite alphabets (Q843605) (← links)
- Level two of the quantifier alternation hierarchy over infinite words (Q1635804) (← 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)