TY  - RPRT
TI  - A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct
AU  - Shibashis Guha
AU  - Ismaël Jecker
AU  - Karoliina Lehtinen
AU  - Martin Zimmermann
PY  - 2024
DO  - 10.46298/lmcs-20(1:3)2024
UR  - https://arxiv.org/abs/2105.02611
ID  - 2105.02611
ER  -