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]
@inproceedings{HagueMM018,
title = {Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems},
author = {Matthew Hague and Roland Meyer and Sebastian Muskalla and Martin Zimmermann 0002},
year = {2018},
doi = {10.4230/LIPIcs.MFCS.2018.57},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2018.57},
researchr = {https://researchr.org/publication/HagueMM018},
cites = {0},
citedby = {0},
booktitle = {43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK},
editor = {Igor Potapov and Paul G. Spirakis and James Worrell 0001},
volume = {117},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-086-6},
}