Generic algorithms for halting problem and optimal machines revisited

Working paper

Laurent Bienvenu, Damien Desfontaines and Alexander Shen

Abstract

Full version of the paper presented at ICALP 2015 conference see arxiv1505.00731; conference version see 10.1007/978-3-662-47672-7

url

Find in HALView

1 Record Views

Title: Generic algorithms for halting problem and optimal machines revisited
Creators - without role: Laurent Bienvenu - Laboratoire d'informatique Algorithmique : Fondements et Applications
Damien Desfontaines
Alexander Shen - Systèmes complexes, automates et pavages
Identifiers: 9944848009311
Academic Unit: Laboratoire d'Informatique de Robotique et de Microélectronique de Mtp - LIRMM
Language: English
Resource Type: Working paper
Local Fields: lirmm-01233778