Pages that link to "Item:Q537914"
From MaRDI portal
The following pages link to Fragments of first-order logic over infinite words (Q537914):
Displayed 8 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 (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)
- 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)