TY  - RPRT
TI  - Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
AU  - Clotilde Bizière
AU  - Wojciech Czerwiński
PY  - 2024
UR  - https://arxiv.org/abs/2411.02386
ID  - 2411.02386
ER  -