Pages that link to "Item:Q5244385"
From MaRDI portal
The following pages link to Going Higher in First-Order Quantifier Alternation Hierarchies on Words (Q5244385):
Displaying 12 items.
- Level two of the quantifier alternation hierarchy over infinite words (Q1635804) (← links)
- Characterizing level one in group-based concatenation hierarchies (Q2097235) (← links)
- Difference hierarchies and duality with an application to formal languages (Q2310785) (← links)
- Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable (Q2957893) (← links)
- (Q4202955) (← links)
- (Q5155687) (← links)
- Going Higher in the First-Order Quantifier Alternation Hierarchy on Words (Q5167850) (← links)
- Level Two of the Quantifier Alternation Hierarchy over Infinite Words (Q5740188) (← links)
- Positive First-order Logic on Words and Graphs (Q6135776) (← links)
- The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies (Q6195308) (← links)
- All about unambiguous polynomial closure (Q6566598) (← links)
- The regular languages of first-order logic with one alternation (Q6649495) (← links)