Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata

Victor L. Selivanov. Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata. In Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea, editors, Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings. Volume 13967 of Lecture Notes in Computer Science, pages 190-201, Springer, 2023. [doi]

Abstract

Abstract is missing.