https://hal.univ-lille3.fr/hal-01396536
Contributeur : Liesbeth De Mol
<>
Soumis le : lundi 14 novembre 2016 - 15:37:00
Dernière modification le : mardi 3 juillet 2018 - 11:30:02
Document(s) archivé(s) le : lundi 20 mars 2017 - 19:53:17
Liesbeth De Mol. Solvability of the halting and reachability problem for binary 2-tag systems. Fundamenta Informaticae XX, 2010, 99 (4), pp.435-471. 〈10.3233/FI-2010-257〉. 〈hal-01396536〉