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
URI: https://livrepository.liverpool.ac.uk/id/eprint/3169331
Dimensions
Altmetric
CORE (COnnecting REpositories)