Madhavan Venkatesh
Madhavan Venkatesh
Affiliation: Max Planck Institute for Software Systems, Saarland Informatics Campus
Pages in this Program
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑