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
Citer
Laurent Bienvenu, Damien Desfontaines, Alexander Shen. Generic algorithms for halting problem and optimal machines revisited. 2015. ⟨lirmm-01233778⟩
Collections
117
Consultations
0
Téléchargements