Yuri Bilu, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell 0001. Skolem Meets Schanuel. In Stefan Szeider, Robert Ganian, Alexandra Silva 0001, editors, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria. Volume 241 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]
@inproceedings{BiluLNOPW22,
title = {Skolem Meets Schanuel},
author = {Yuri Bilu and Florian Luca and Joris Nieuwveld and Joël Ouaknine and David Purser and James Worrell 0001},
year = {2022},
doi = {10.4230/LIPIcs.MFCS.2022.20},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.20},
researchr = {https://researchr.org/publication/BiluLNOPW22},
cites = {0},
citedby = {0},
booktitle = {47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, August 22-26, 2022, Vienna, Austria},
editor = {Stefan Szeider and Robert Ganian and Alexandra Silva 0001},
volume = {241},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-256-3},
}