https://hal.univ-lille.fr/hal-01396536
Contributeur : Liesbeth de Mol <>
Soumis le : lundi 14 novembre 2016 - 15:37:00 Dernière modification le : mardi 3 novembre 2020 - 09:54:03 Archivage à long terme 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⟩