Pages that link to "Item:Q537914"
From MaRDI portal
The following pages link to Fragments of first-order logic over infinite words (Q537914):
Displaying 11 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- Ultrafilters on words for a fragment of logic (Q896678) (← links)
- Level two of the quantifier alternation hierarchy over infinite words (Q1635804) (← links)
- Shift-invariant topologies for the Cantor space \(X^{\omega}\) (Q2357113) (← links)
- Topology, monitorable properties and runtime verification (Q2453532) (← links)
- Quantifier Alternation for Infinite Words (Q2811342) (← links)
- On the Expressive Power of Cost Logics over Infinite Words (Q3167019) (← links)
- PARTIALLY ORDERED TWO-WAY BÜCHI AUTOMATA (Q3224953) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← 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)
