REAL-TIME DECIDABILITY COMPUTABILITY COUNTABILITY AND GENERABILITY

被引：0
|
作者：
OCHRANOV.R
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1968年 / 14卷 / 03期
关键词：
D O I：
10.1002/malq.19680141804
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：283 / &
相关论文
共 50 条
  • [1] Real-Time Computability of Real Numbers by Chemical Reaction Networks
    Huang, Xiang
    Klinge, Titus H.
    Lathrop, James, I
    Li, Xiaoyuan
    Lutz, Jack H.
    UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2017, 2017, 10240 : 29 - 40
  • [2] Real-time computability of real numbers by chemical reaction networks
    Xiang Huang
    Titus H. Klinge
    James I. Lathrop
    Xiaoyuan Li
    Jack H. Lutz
    Natural Computing, 2019, 18 : 63 - 73
  • [3] Real-time computability of real numbers by chemical reaction networks
    Huang, Xiang
    Klinge, Titus H.
    Lathrop, James I.
    Li, Xiaoyuan
    Lutz, Jack H.
    NATURAL COMPUTING, 2019, 18 (01) : 63 - 73
  • [4] ENUMERABILITY DECIDABILITY AND COMPUTABILITY
    CURRY, HB
    SCIENCE, 1966, 152 (3724) : 953 - &
  • [5] PSEUDORECURSIVENESS - IMPLICATIONS FOR DECIDABILITY AND COMPUTABILITY
    WELLS, B
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 858 - 859
  • [6] Decidability of the Initial-State Opacity of Real-Time Automata
    Wang, Lingtai
    Zhan, Naijun
    SYMPOSIUM ON REAL-TIME AND HYBRID SYSTEMS: ESSAYS DEDICATED TO PROFESSOR CHAOCHEN ZHOU ON THE OCCASION OF HIS 80TH BIRTHDAY, 2018, 11180 : 44 - 60
  • [7] NEW FAMILIES OF NON REAL-TIME DPDAS AND THEIR DECIDABILITY RESULTS
    ITZHAIK, Y
    YEHUDAI, A
    THEORETICAL COMPUTER SCIENCE, 1984, 34 (03) : 255 - 274
  • [8] HERMES,H - ENUMERABILITY . DECIDABILITY . COMPUTABILITY
    KAMMERER, W
    ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1966, 46 (05): : 330 - &
  • [9] HERMES,H - ENUMERABILITY DECIDABILITY COMPUTABILITY
    KYBRUG, HE
    AMERICAN MATHEMATICAL MONTHLY, 1967, 74 (03): : 345 - &
  • [10] ENUMERABILITY, DECIDABILITY, COMPUTABILITY - HERMES,H
    MULLER, PJ
    REVIEW OF METAPHYSICS, 1966, 19 (03): : 588 - 588
12345