Input-Driven Double-Head Pushdown Automata

Markus Holzer 0001, Martin Kutrib, Andreas Malcher, Matthias Wendlandt. Input-Driven Double-Head Pushdown Automata. Int. J. Found. Comput. Sci., 33(3&4):285-311, 2022. [doi]

Abstract

Abstract is missing.