Pages that link to "Item:Q800737"
From MaRDI portal
The following pages link to Characterization of \(\omega\)-regular languages by first-order formulas (Q800737):
Displaying 13 items.
- A classification of \(\omega\)-regular languages (Q1058863) (← links)
- Infinite-word languages and continuous mappings (Q1082087) (← links)
- On alternating \(\omega\)-automata (Q1109572) (← 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)
- Regular languages defined by generalized first-order formulas with a bounded number of bound variables (Q1405799) (← links)
- Characterization of \(\omega\)-regular languages by monadic second-order formulas (Q1822511) (← links)
- Beyond \(\omega \)-regular languages: \(\omega T\)-regular expressions and their automata and logic counterparts (Q1989336) (← links)
- From LP formulas of the form \(F(t)\) to \(-\omega \)-regular expressions (Q2215841) (← links)
- (Q3693520) (← links)
- (Q3816993) (← links)
- Weak MSO with the Unbounding Quantifier (Q5389974) (← links)