TY  - RPRT
TI  - Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
AU  - Wojciech Czerwiński
AU  - Piotr Hofman
PY  - 2025
DO  - 10.46298/lmcs-21(1:27)2025
UR  - https://arxiv.org/abs/2202.08033
ID  - 2202.08033
ER  -