Pages that link to "Item:Q1127314"

The following pages link to Characterization and closure properties of linear \(\omega\)-languages (Q1127314):

Displaying 9 items.

• Finite-state \(\omega\)-languages (Q794443) (← links)
• Safety and liveness of \(\omega\)-context-free languages (Q811129) (← links)
• The three subfamilies of rational \(\omega\)-languages closed under \(\omega\)-transduction (Q917321) (← links)
• A negative answer to a question of Wilke on varieties of \(\omega\)-languages (Q1350291) (← links)
• Logic for \(\omega\)-pushdown automata (Q2064532) (← links)
• Closure properties of linear context-free tree languages with an application to optimality theory (Q2368942) (← links)
• (Q3816993) (← links)
• Closure properties of subclasses of ω-regular languages under morphism and inverse morphism (Q4016385) (← links)
• An algorithmic approach for checking closure properties of Ω-regular languages (Q6162107) (← links)