Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems.

Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann

Browse the full MFCS paper archive.