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.
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: 31 Mar 2023 09:30
DOI: 10.1145/3531130.3533328
Open Access URL: https://dl.acm.org/doi/pdf/10.1145/3531130.3533328
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3169327