Generic algorithms for halting problem and optimal machines revisited

Abstract : Full version of the paper presented at ICALP 2015 conference see arxiv1505.00731; conference version see 10.1007/978-3-662-47672-7
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01233778
Contributeur : Alexander Shen <>
Soumis le : mercredi 25 novembre 2015 - 17:29:16
Dernière modification le : jeudi 24 mai 2018 - 15:59:23

Lien texte intégral

Identifiants

  • HAL Id : lirmm-01233778, version 1
  • ARXIV : 1505.00731

Collections

Citation

Laurent Bienvenu, Damien Desfontaines, Alexander Shen. Generic algorithms for halting problem and optimal machines revisited. 2015. 〈lirmm-01233778〉

Partager

Métriques

Consultations de la notice

118