Up a level |
Number of items: 2.
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.
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).