Reference : Computability Beyond Church-Turing via Choice Sequences
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/37405
Computability Beyond Church-Turing via Choice Sequences
English
Bickford, Mark [Cornell University]
Cohen, Liron [Cornell University]
Constable, Robert [Cornell University]
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2018
LICS 2018
Yes
IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
July 2018
http://hdl.handle.net/10993/37405
FnR ; FNR8149128 > Paulo Esteves-Ver�ssimo > IISD > Strategic RTnD Program on Information Infrastructure Security and Dependability > 01/01/2015 > 31/12/2019 > 2014

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
FCS-short.pdfAuthor preprint302.82 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.