Reversible Shrinking Two-Pushdown Automata

Holger Bock Axelsen, Markus Holzer 0001, Martin Kutrib, Andreas Malcher. Reversible Shrinking Two-Pushdown Automata. In Adrian Horia Dediu, Jan Janousek, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings. Volume 9618 of Lecture Notes in Computer Science, pages 579-591, Springer, 2016. [doi]

Abstract

Abstract is missing.