Go to the corresponding LIPIcs Volume Portal 
Bilu, Yuri ; Luca, Florian ; Nieuwveld, Joris ; Ouaknine, Joël ; Purser, David ; Worrell, James
pdfformat: 

@InProceedings{bilu_et_al:LIPIcs.MFCS.2022.20, author = {Bilu, Yuri and Luca, Florian and Nieuwveld, Joris and Ouaknine, Jo\"{e}l and Purser, David and Worrell, James}, title = {{Skolem Meets Schanuel}}, booktitle = {47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)}, pages = {20:120:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772563}, ISSN = {18688969}, year = {2022}, volume = {241}, editor = {Szeider, Stefan and Ganian, Robert and Silva, Alexandra}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16818}, URN = {urn:nbn:de:0030drops168180}, doi = {10.4230/LIPIcs.MFCS.2022.20}, annote = {Keywords: Skolem Problem, Skolem Conjecture, Exponential LocalGlobal Principle, padic Schanuel Conjecture} }
Keywords:  Skolem Problem, Skolem Conjecture, Exponential LocalGlobal Principle, padic Schanuel Conjecture  
Collection:  47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022)  
Issue Date:  2022  
Date of publication:  22.08.2022  
Supplementary Material:  Software: https://skolem.mpisws.org 