Holger Bock Axelsen, Martin Kutrib, Andreas Malcher. Reversible Shrinking Two-Pushdown Automata. Journal of Automata, Languages and Combinatorics, 27(1-3):47-77, 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.