Skolem Meets Schanuel

Bilu, Yuri, Luca, Florian, Nieuwveld, Joris, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634 and Worrell, James
(2022) Skolem Meets Schanuel. In: 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022).

[img] PDF
mfcs22.pdf - Author Accepted Manuscript

Download (700kB) | Preview
Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 29 Mar 2023 10:11
Last Modified: 29 Mar 2023 10:11
DOI: 10.4230/LIPIcs.MFCS.2022.20