Pages that link to "Item:Q5299843"
From MaRDI portal
The following pages link to Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata (Q5299843):
Displayed 4 items.
- Deciding \(\mathrm{FO}^2\) alternation for automata over finite and infinite words (Q832937) (← links)
- \( \omega \)-automata (Q2074208) (← links)
- Backward Deterministic Büchi Automata on Infinite Words (Q5136295) (← links)
- Forbidden Patterns for FO<sup>2</sup> Alternation Over Finite and Infinite Words (Q6169964) (← links)