Pages that link to "Item:Q1337694"
From MaRDI portal
The following pages link to Progress measures, immediate determinacy, and a subset construction for tree automata (Q1337694):
Displaying 7 items.
- Infinite games on finitely coloured graphs with applications to automata on infinite trees (Q1276252) (← links)
- Determinization and memoryless winning strategies (Q1357005) (← links)
- Automata on infinite trees (Q2074210) (← links)
- The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata (Q3519517) (← links)
- (Q5020999) (← links)
- Büchi Good-for-Games Automata Are Efficiently Recognizable (Q5090951) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
