On the decidability of Presburger arithmetic expanded with powers by Karimov, T, Luca, F, Nieuwveld, J, Ouaknine, J, Worrell, J

The Power of Positivity by Karimov, T, Kelmendi, E, Nieuwveld, J, Ouaknine, J, Worrell, J

On the p-adic zeros of the Tribonacci sequence by Bilu, Y, Luca, F, Nieuwveld, J, Ouaknine, J, Worrell, J

The monadic theory of toric words by Berthé, V, Karimov, T, Nieuwveld, J, Ouaknine, J, Vahanwala, M, Worrell, J

On the decidability of monadic second-order logic with arithmetic predicates by Berthé, V, Karimov, T, Nieuwveld, J, Ouaknine, J, Vahanwala, M, Worrell, J

On the Skolem problem and the Skolem conjecture by Lipton, RJ, Luca, L, Nieuwveld, J, Ouaknine, J, Purser, D, Worrell, J

Skolem meets Schanuel by Bilu, Y, Luca, F, Nieuwveld, J, Ouaknine, J, Purser, D, Worrell, J