Pages that link to "Item:Q4020278"
From MaRDI portal
The following pages link to PUSHDOWN AUTOMATA ON INFINITE TREES AND NONDETERMINISTIC CONTEXT-FREE PROGRAMS (Q4020278):
Displaying 10 items.
- Automata on infinite objects and their applications to logic and programming (Q582913) (← links)
- Infinitary tree languages recognized by \(\omega\)-automata (Q794179) (← links)
- On regular tree languages and deterministic pushdown automata (Q1037619) (← links)
- Tree pushdown automata (Q1058866) (← links)
- Nivat's theorem for pushdown transducers (Q1193872) (← links)
- Deciding emptiness for stack automata on infinite trees (Q1333263) (← links)
- Borel hierarchy and omega context free languages. (Q1401165) (← links)
- Input-Driven Pushdown Automata with Limited Nondeterminism (Q2921977) (← links)
- On Infinite Words Determined by Stack Automata. (Q2963931) (← links)
- (Q3975166) (← links)