On the Skolem Problem and the Skolem Conjecture.
Richard Lipton, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell
Browse the full LICS paper archive.
Richard Lipton, Florian Luca, Joris Nieuwveld, Jol Ouaknine, David Purser, James Worrell
Browse the full LICS paper archive.