On the Skolem Problem and the Skolem Conjecture

Lipton, Richard, Luca, Florian, Nieuwveld, Joris, Ouaknine, Joël, Purser, David ORCID: 0000-0003-0394-1634 and Worrell, James (2022) On the Skolem Problem and the Skolem Conjecture. In: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science.

Access the full-text of this item by clicking on the Open Access link.

Official URL: http://dx.doi.org/10.1145/3531130.3533328

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:35
Last Modified:	15 Mar 2024 19:59
DOI:	10.1145/3531130.3533328
Open Access URL:	https://dl.acm.org/doi/pdf/10.1145/3531130.3533328
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3169327