Emil Rugaard Wieser
Emil Rugaard Wieser
Affiliation: Max Planck Institute for Software Systems, Saarland Informatics Campus
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:
🔍
↑