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 条
  • [21] Edge-minimization of non-deterministic finite automata
    Melnikov B.F.
    Melnikova A.A.
    Korean Journal of Computational and Applied Mathematics, 2001, 8 (3): : 469 - 479
  • [22] FINITE-MEMORY AUTOMATA WITH NON-DETERMINISTIC REASSIGNMENT
    Kaminski, Michael
    Zeitlin, Daniel
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2010, 21 (05) : 741 - 760
  • [23] Edge-minimization of non-deterministic finite automata
    Melnikov, B.F.
    Melnikova, A.A.
    Korean Journal of Computational and Applied Mathematics, 2001, 8 (03): : 469 - 479
  • [24] Edge-minimization of non-deterministic finite automata
    Melnikov, B.F.
    Melnikova, A.A.
    Journal of Applied Mathematics and Computing, 2001, 8 (03) : 469 - 479
  • [25] Language containment of non-deterministic omega-automata
    Tasiran, S
    Hojati, R
    Brayton, RK
    CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1995, 987 : 261 - 277
  • [26] NON-DETERMINISTIC FUNCTIONS AS NON-DETERMINISTIC PROCESSES
    Paulus, Joseph W. N.
    Nantes-Sobrinho, Daniele
    Perez, Jorge A.
    LOGICAL METHODS IN COMPUTER SCIENCE, 2023, 19 (04) : 1 - 1
  • [27] TRANSIENT SOLUTION OF NON-DETERMINISTIC SYSTEMS
    PADOVAN, J
    ZEID, I
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1979, 308 (05): : 497 - 511
  • [28] VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata
    Lengal, Ondrej
    Simacek, Jiri
    Vojnar, Tomas
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, 2012, 7214 : 79 - 94
  • [29] Evaluating Non-Deterministic Retrieval Systems
    Jayasinghe, Gaya K.
    Webber, William
    Sanderson, Mark
    Dharmasena, Lasitha S.
    Culpepper, J. Shane
    SIGIR'14: PROCEEDINGS OF THE 37TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL, 2014, : 911 - 914
  • [30] On conformance testing of non-deterministic systems
    Ye, XM
    Zhou, JT
    Song, XY
    Liu, YM
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2001, 77 (01) : 55 - 72
12345