Inhabitation machines: determinism and principality

Sandra Alves, Sabine Broda. Inhabitation machines: determinism and principality. 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 57-70, Österreichische Computer Gesellschaft, 2017.

Abstract

Abstract is missing.