Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata.

Nutan Limaye, Meena Mahajan

Browse the full LATA paper archive.