A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct.

Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review