Generic algorithms for halting problem and optimal machines revisited - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Preprints, Working Papers, ... Year : 2015

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

Dates and versions

lirmm-01233778 , version 1 (25-11-2015)

Identifiers

Cite

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

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More