COMPLETENESS THEOREMS FOR AUTOMATA

被引：0
|
作者：
MERRITT, M
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 430卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：544 / 560
页数：17
相关论文
共 50 条
  • [1] On completeness of automata
    Lashkia, V
    Nozaki, A
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1998, E81D (11) : 1305 - 1307
  • [2] ON COMPLETENESS OF NONDETERMINISTIC AUTOMATA
    GECSEG, F
    IMREH, B
    ACTA MATHEMATICA HUNGARICA, 1995, 68 (1-2) : 151 - 159
  • [3] ON EQUATIONAL COMPLETENESS THEOREMS
    Moraschini, Tommaso
    JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (04) : 1522 - 1575
  • [4] Completeness theorems and λ-calculus
    Coquand, T
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2005, 3461 : 1 - 9
  • [5] COMPLETENESS THEOREMS, INCOMPLETENESS THEOREMS AND MODELS OF ARITHMETIC
    MCALOON, K
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1978, 239 (MAY) : 253 - 277
  • [6] Completeness theorems for syllogistic fragments
    Moss, Lawrence S.
    LOGICS FOR LINGUISTIC STRUCTURES, 2008, 201 : 143 - 173
  • [7] On the Family of Theorems on Metric Completeness
    Park, Sehie
    EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS, 2024, 17 (04): : 2370 - 2383
  • [8] Completeness theorems for the Stokes system
    Cialdea, A.
    Nino, G.
    COMPLEX VARIABLES AND ELLIPTIC EQUATIONS, 2020, 65 (01) : 74 - 86
  • [9] Completeness theorems in general relativity
    Choquet-Bruhat, Y
    Cotsakis, S
    RECENT DEVELOPMENTS IN GRAVITY, 2003, : 145 - 149
  • [10] COMPLETENESS THEOREMS IN THEORIES ON GRAPHS
    DONNADIEU, MR
    RAMBAUD, C
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1977, 284 (06): : 355 - 358
12345