Giovanni Pighizzini, Luca Prigioniero. Pushdown Automata and Constant Height: Decidability and Bounds. In Michal Hospodár, Galina Jirásková, Stavros Konstantinidis, editors, Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17-19, 2019, Proceedings. Volume 11612 of Lecture Notes in Computer Science, pages 260-271, Springer, 2019. [doi]
Abstract is missing.