SIMPLE GENERALIZATION OF TURING COMPUTABILITY

被引：0
|
作者：
THOMAS, WJ
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1974年 / 39卷 / 02期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：396 / 397
页数：2
相关论文
共 50 条
  • [21] GENERALIZATION OF NOTIONS OF A MACHINE AND COMPUTABILITY
    ZAKOWSKI, W
    INFORMATION AND CONTROL, 1977, 33 (02): : 166 - 176
  • [22] Deviant encodings and Turing's analysis of computability
    Copeland, B. Jack
    Proudfoot, Diane
    STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 2010, 41 (03): : 247 - 252
  • [23] Formalizing Abstract Computability: Turing Categories in Coq
    Vinogradova, Polina
    Felty, Amy P.
    Scott, Philip
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 338 : 203 - 218
  • [24] Einstein Meets Turing: The Computability of Nonlocal Games
    Yuen, Henry
    CONNECTING WITH COMPUTABILITY, 2021, 12813 : 483 - 493
  • [25] Generic computability, Turing degrees, and asymptotic density
    Jockusch, Carl G., Jr.
    Schupp, Paul E.
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2012, 85 : 472 - 490
  • [26] Turing Computability of the Fourier Transform of Bandlimited Functions
    Boche, Holger
    Monich, Ullrich J.
    2019 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2019, : 380 - 384
  • [27] Turing-Computability of Solution of Hirota Equation
    Lu, Dianchen
    Fu, Liming
    PROCEEDINGS OF THE 2014 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2015, 6 : 347 - 351
  • [28] Infinitary computability with infinite time turing machines
    Hamkins, JD
    NEW COMPUTATIONAL PARADIGMS, 2005, 3526 : 180 - 187
  • [29] Mechanising Turing Machines and Computability Theory in Isabelle/HOL
    Xu, Jian
    Zhang, Xingyuan
    Urban, Christian
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 147 - 162
  • [30] Computability of the entropy of one-tape Turing machines
    Jeandel, Emmanuel
    31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014), 2014, 25 : 421 - 432
12345