-automatic expansions of Presburger arithmetic">
k
-automatic expansions of Presburger arithmetic"/>
2025 Joint Mathematics Meetings (JMM 2025)
Welcome to the 2025 Joint Mathematics Meetings (JMM 2025)...
please wait while the program loads.
Oops! Your browser seems to have javascript disabled. Make sure javascript is enabled or try opening a different browser.
