On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic.

Piotr Bacik, Joris Nieuwveld, Jol Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, Emil Rugaard Wieser

Browse the full LICS paper archive.