Variations of checking stack automata: Obtaining unexpected decidability properties

Oscar H. Ibarra, Ian McQuillan. Variations of checking stack automata: Obtaining unexpected decidability properties. Theoretical Computer Science, 738:1-12, 2018. [doi]

Abstract

Abstract is missing.