Pages that link to "Item:Q3113701"
From MaRDI portal
The following pages link to First-order fragments with successor over infinite words (Q3113701):
Displaying 8 items.
- Fragments of first-order logic over infinite words (Q537914) (← links)
- 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)
- Level two of the quantifier alternation hierarchy over infinite words (Q1635804) (← links)
- On a Fragment of AMSO and Tiling Systems (Q4601871) (← links)
- On First-Order Fragments for Words and Mazurkiewicz Traces (Q5428216) (← 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)