Pages that link to "Item:Q800737"
From MaRDI portal
The following pages link to Characterization of \(\omega\)-regular languages by first-order formulas (Q800737):
Displayed 4 items.
- Infinite-word languages and continuous mappings (Q1082087) (← links)
- A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
- \(X\)-automata on \(\omega\)-words (Q1210539) (← links)
- Various hierarchies of \(\omega\)-regular sets (Q1269921) (← links)