TY  - RPRT
TI  - Semënov Arithmetic, Affine VASS, and String Constraints
AU  - Andrei Draghici
AU  - Christoph Haase
AU  - Florin Manea
PY  - 2023
UR  - https://arxiv.org/abs/2306.14593
ID  - 2306.14593
ER  -