Bacik, P., Nieuwveld, J., Ouaknine, J., Vahanwala, M., Venkatesh, M., & Wieser, E. R. (2026). On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic.
Chicago-Zitierstil (17. Ausg.)Bacik, Piotr, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala, Madhavan Venkatesh, und Emil Rugaard Wieser. On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. 2026.
MLA-Zitierstil (9. Ausg.)Bacik, Piotr, et al. On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.