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

Matthew Hague, Roland Meyer, Sebastian Muskalla, Martin Zimmermann 0002. Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. In Igor Potapov, Paul G. Spirakis, James Worrell 0001, editors, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK. Volume 117 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]

Authors

Matthew Hague

This author has not been identified. Look up 'Matthew Hague' in Google

Roland Meyer

This author has not been identified. Look up 'Roland Meyer' in Google

Sebastian Muskalla

This author has not been identified. Look up 'Sebastian Muskalla' in Google

Martin Zimmermann 0002

This author has not been identified. Look up 'Martin Zimmermann 0002' in Google