Generic algorithms for halting problem and optimal machines revisited
Résumé
Full version of the paper presented at ICALP 2015 conference see arxiv1505.00731; conference version see 10.1007/978-3-662-47672-7
Alexander Shen : Connectez-vous pour contacter le contributeur
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01233778
Soumis le : mercredi 25 novembre 2015-17:29:16
Dernière modification le : vendredi 24 mars 2023-14:53:01