https://hal.univ-lille.fr/hal-01396536 Contributeur : Liesbeth De MolConnectez-vous pour contacter le contributeur Soumis le : lundi 14 novembre 2016 - 15:37:00 Dernière modification le : mercredi 23 mars 2022 - 15:50:49 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⟩