Decidability questions for insertion systems

Andreas Malcher. Decidability questions for insertion systems. In Rudolf Freund, Frantisek Mráz, Daniel Prusa, editors, Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017. pages 165-180, Österreichische Computer Gesellschaft, 2017.

Abstract

Abstract is missing.