Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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
Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01233778
Contributor : Alexander Shen <>
Submitted on : Wednesday, November 25, 2015 - 5:29:16 PM
Last modification on : Thursday, May 27, 2021 - 4:46:01 PM

Links full text

Identifiers

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

Citation

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

Share

Metrics

Record views

291