TYPE-STRUCTURE COMPLEXITY AND DECIDABILITY

被引：2
|
作者：
MILLAR, TS
机构：
来源：
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1982年 / 271卷 / 01期
关键词：
D O I：
10.2307/1998751
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：73 / 81
页数：9
相关论文
共 50 条
  • [31] On the decidability and complexity of integrating ontologies and rules
    Rosati, R
    JOURNAL OF WEB SEMANTICS, 2005, 3 (01): : 61 - 73
  • [32] Decidability and complexity analysis by basic paramodulation
    Nieuwenhuis, R
    INFORMATION AND COMPUTATION, 1998, 147 (01) : 1 - 21
  • [33] Complexity and (Un)decidability of Fragments of ⟨ωωλ; x⟩
    Bes, Alexis
    Choffrut, Christian
    FUNDAMENTA INFORMATICAE, 2019, 164 (01) : 1 - 15
  • [34] Decidability and Periodicity of Low Complexity Tilings
    Jarkko Kari
    Etienne Moutot
    Theory of Computing Systems, 2023, 67 : 125 - 148
  • [35] Connecting Decidability and Complexity for MSO Logic
    Skrzypczak, Michal
    DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, 2017, 10396 : 75 - 79
  • [36] Logics for real time: Decidability and complexity
    Hirshfeld, Y
    Rabinovich, A
    FUNDAMENTA INFORMATICAE, 2004, 62 (01) : 1 - 28
  • [37] ON CONFLUENT SEMICOMMUTATIONS - DECIDABILITY AND COMPLEXITY RESULTS
    DIEKERT, V
    OCHMANSKI, E
    REINHARDT, K
    INFORMATION AND COMPUTATION, 1994, 110 (01) : 164 - 182
  • [38] Decidability and Complexity of Fuzzy Description Logics
    Baader F.
    Borgwardt S.
    Peñaloza R.
    KI - Künstliche Intelligenz, 2017, 31 (1) : 85 - 90
  • [39] Decidability and Periodicity of Low Complexity Tilings
    Kari, Jarkko
    Moutot, Etienne
    THEORY OF COMPUTING SYSTEMS, 2023, 67 (01) : 125 - 148
  • [40] Decidability and Periodicity of Low Complexity Tilings
    Kari, Jarkko
    Moutot, Etienne
    37TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2020), 2020, 154
12345