Emptiness of multi-pushdown automata is 2etimecomplete (2008)

by M F Atig, B Bollig, P Habermehl
Venue:In Developments in Language Theory