Joris Nieuwveld
Joris Nieuwveld
Affiliation: University of Oxford
Talks
(LICS)
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic · Session 7B Decidability in Arithmetic and Linear Theories
Pages in this Program
Program
Program on Wednesday, 22 July 2026
LICS on Wednesday, 22 July 2026
LICS Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑