When input-driven pushdown automata meet reversibility

Martin Kutrib, Andreas Malcher, Matthias Wendlandt. When input-driven pushdown automata meet reversibility. In Rudolf Freund, Markus Holzer, Nelma Moreira, Rogério Reis, editors, Seventh Workshop on Non-Classical Models of Automata and Applications - NCMA 2015, Porto, Portugal, August 31 - September 1, 2015. Proceedings. Volume 318 of books@ocg.at, pages 141-157, Österreichische Computer Gesellschaft, 2015.

Abstract

Abstract is missing.