GODEL, NON-DETERMINISTIC SYSTEMS, AND HERMETIC AUTOMATA

被引：1
|
作者：
DESMONDE, WH [1 ]
机构：
[1] NASSAU COMMUNITY COLL,GARDEN CITY,NY
来源：
INTERNATIONAL PHILOSOPHICAL QUARTERLY | 1971年 / 11卷 / 01期
关键词：
D O I：
10.5840/ipq19711114
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
引用
收藏
页码：49 / 74
页数：26
相关论文
共 50 条
  • [41] Homological properties of non-deterministic branchings and mergings in higher dimensional automata
    Gaucher, Philippe
    HOMOLOGY HOMOTOPY AND APPLICATIONS, 2005, 7 (01) : 51 - 76
  • [42] Non-deterministic matrices
    Avron, A
    Lev, I
    34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2004, : 282 - 287
  • [43] Deterministic and non-deterministic stable models
    Sacca, D
    Zaniolo, C
    JOURNAL OF LOGIC AND COMPUTATION, 1997, 7 (05) : 555 - 579
  • [44] NON-DETERMINISTIC FORTRAN
    COHEN, J
    CARTON, E
    COMPUTER JOURNAL, 1974, 17 (01): : 44 - 51
  • [45] Non-deterministic processors
    May, D
    Muller, HL
    Smart, NP
    INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2001, 2119 : 115 - 129
  • [46] On Non-Deterministic Quantification
    Ferguson, Thomas Macaulay
    LOGICA UNIVERSALIS, 2014, 8 (02) : 165 - 191
  • [47] Limitations of non-deterministic finite automata imposed by one letter input alphabet
    Mancinska, L
    Ozols, N
    Praude, R
    Zalcmane, A
    FCS '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON FOUNDATIONS OF COMPUTER SCIENCE, 2005, : 161 - 166
  • [48] NON-DETERMINISTIC ALGORITHMS
    COHEN, J
    COMPUTING SURVEYS, 1979, 11 (02) : 79 - 94
  • [49] A novel algorithm for the conversion of shuffle regular expressions into non-deterministic finite automata
    Kumar, Ajay
    Verma, Anil Kumar
    MAEJO INTERNATIONAL JOURNAL OF SCIENCE AND TECHNOLOGY, 2013, 7 (03) : 396 - 407
  • [50] A Novel Algorithm for the Conversion of Parallel Regular Expressions to Non-deterministic Finite Automata
    Kumar, Ajay
    Verma, Anil Kumar
    APPLIED MATHEMATICS & INFORMATION SCIENCES, 2014, 8 (01): : 95 - 105
12345