The following pages link to (Q5216326):
Displaying 7 items.
- Deciding emptiness for stack automata on infinite trees (Q1333263) (← links)
- Non-structural subtype entailment in automata theory (Q1887157) (← links)
- A note on the emptiness problem for alternating finite-memory automata (Q2437765) (← links)
- The emptiness problem for valence automata over graph monoids (Q2662504) (← links)
- (Q5009427) (← links)
- (Q5013886) (← links)
- STACS 2004 (Q5309709) (← links)