research
∙
06/26/2023
Semënov Arithmetic, Affine VASS, and String Constraints
We study extensions of Semënov arithmetic, the first-order theory of the...
research
∙
10/07/2021