DEFINABILITY BY TURING MACHINES

被引：0
|
作者：
BAER, RM
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1969年 / 15卷 / 04期
关键词：
D O I：
10.1002/malq.19690152002
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：325 / &
相关论文
共 50 条
  • [21] RECURSIVE TURING MACHINES
    SAVITCH, WJ
    [J]. INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1977, 6 (01) : 3 - 31
  • [22] Zigzags in Turing Machines
    Gajardo, Anahi
    Guillon, Pierre
    [J]. COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 109 - +
  • [23] Graph Turing Machines
    Ackerman, Nathanael L.
    Freer, Cameron E.
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION: 24TH INTERNATIONAL WORKSHOP, WOLLIC 2017, LONDON, UK, JULY 18-21, 2017, PROCEEDINGS, 2017, 10388 : 1 - 13
  • [24] Structured Turing Machines
    L. P. Lisovik
    [J]. Cybernetics and Systems Analysis, 2004, 40 (2) : 162 - 168
  • [25] Reactive Turing machines
    Baeten, Jos C. M.
    Luttik, Bas
    van Tilburg, Paul
    [J]. INFORMATION AND COMPUTATION, 2013, 231 : 143 - 166
  • [26] Involutory Turing Machines
    Nakano, Keisuke
    [J]. REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 54 - 70
  • [27] Ecological turing machines
    Durand, B
    Muchnik, A
    Ushakov, M
    Vereshchagin, N
    [J]. AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 457 - 468
  • [28] Minds, Machines and Turing
    S. Harnad
    [J]. Journal of Logic, Language and Information, 2000, 9 (4) : 425 - 445
  • [29] Wittgenstein and Turing machines
    Wagner, P
    [J]. REVUE DE METAPHYSIQUE ET DE MORALE, 2005, (02): : 181 - 196
  • [30] Decision problems for Turing machines
    Finkel, Olivier
    Lecomte, Dominique
    [J]. INFORMATION PROCESSING LETTERS, 2009, 109 (23-24) : 1223 - 1226
12345