Regular Sets of Higher-Order Pushdown Stacks.

Arnaud Carayol

Browse the full MFCS paper archive.