Semënov Arithmetic, Affine VASS, and String Constraints

Andrei Draghici, Christoph Haase, Florin Manea
January 2024
PDF DOI
Type
Conference paper
Publication
Symposium on Theoretical Aspects of Computer Science, STACS