COMPLETENESS THEOREMS FOR AUTOMATA

被引：0
|
作者：
MERRITT, M
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：544 / 560
页数：17
相关论文
共 50 条
  • [41] 2 THEOREMS ABOUT THE COMPLETENESS OF HOARES LOGIC
    BERGSTRA, JA
    TUCKER, JV
    INFORMATION PROCESSING LETTERS, 1982, 15 (04) : 143 - 149
  • [42] BARWISE COMPLETENESS THEOREMS FOR SOME BIPROBABILITY LOGICS
    RASKOVIC, M
    ZIVALJEVIC, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1986, 32 (02): : 133 - 135
  • [43] EXTENSIONS OF MAKINSONS COMPLETENESS THEOREMS IN MODAL LOGIC
    ROUTLEY, R
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1970, 16 (03): : 239 - &
  • [44] On Completeness in Metric Spaces and Fixed Point Theorems
    Valentín Gregori
    Juan-José Miñana
    Bernardino Roig
    Almanzor Sapena
    Results in Mathematics, 2018, 73
  • [45] Completeness Theorems via the Double Dual Functor
    Galli A.
    Reyes G.E.
    Sagastume M.
    Studia Logica, 2000, 64 (1) : 61 - 81
  • [46] COMPLETENESS THEOREMS FOR LINEARIZED THEORIES OF INTERACTING CONTINUA
    ATKIN, RJ
    QUARTERLY JOURNAL OF MECHANICS AND APPLIED MATHEMATICS, 1968, 21 : 171 - &
  • [47] Completeness theorems in the theory of relative importance of criteria
    Noghin, V.D.
    Vestnik Sankt-Peterburgskogo Universiteta. Ser 1. Matematika Mekhanika Astronomiya, 2000, (04): : 12 - 17
  • [48] On Completeness in Metric Spaces and Fixed Point Theorems
    Gregori, Valentin
    Minana, Juan-Jose
    Roig, Bernardino
    Sapena, Almanzor
    RESULTS IN MATHEMATICS, 2018, 73 (04)
  • [49] APPROXIMATION THEOREMS ON SOME CLASSES OF AUTOMATA
    DEKORVIN, A
    SIAM JOURNAL ON CONTROL, 1968, 6 (03): : 422 - &
  • [50] COMPLETENESS PROPERTY OF ONE-DIMENSIONAL TESSELLATION AUTOMATA
    NASU, M
    HONDA, N
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 12 (01) : 36 - 48
12345