 |
Portail HAL - Université de Lille |  |
Article dans une revue
Solvability of the halting and reachability problem for binary 2-tag systems
Abstract : In this paper a detailed proof will be given of the solvability of the halting and reachability problem for binary 2-tag systems.
Littérature citée [22 références]
https://hal.univ-lille.fr/hal-01396536
Contributeur : Liesbeth De Mol Connectez-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
Contributeur : Liesbeth De Mol Connectez-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
Fichier
Corr4.pdf
Fichiers produits par l'(les) auteur(s)