Pages that link to "Item:Q794179"

The following pages link to Infinitary tree languages recognized by \(\omega\)-automata (Q794179):

Displaying 3 items.

• Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
• Variétés d'automates descendants d'arbres infinis (Q1079382) (← links)
• Generalized automata on infinite trees and Muller-McNaughton's theorem (Q1178688) (← links)