Semnov Arithmetic, Affine {VASS}, and String Constraints.

Andrei Draghici, Christoph Haase, Florin Manea

Browse the full STACS paper archive.