A SURPRISING RELATIONSHIP BETWEEN DESCRIPTIVE COMPLEXITY AND PROOF COMPLEXITY

被引：0
|
作者：
Chen, Yijia [1 ]
Flum, Joerg [2 ]
Mueller, Moritz [3 ]
机构：
[1] Shanghai Jiao Tong Univ, Dept Comp Sci, Shanghai, Peoples R China
[2] Albert Ludwigs Univ Freiburg Br, Math Inst, Freiburg, Germany
[3] Univ Passau, Fak Informat & Math, Passau, Germany
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2022年 / 2022卷 / 138期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：145 / 152
页数：8
相关论文
共 50 条
  • [41] Descriptive complexity and model checking
    Immerman, N
    FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 1 - 5
  • [42] On the descriptive complexity of homogeneous continua
    Krupski, Pawel
    TOPOLOGY AND ITS APPLICATIONS, 2021, 304
  • [43] Descriptive complexity of computable sequences
    Durand, B
    Shen, A
    Vereshchagin, N
    THEORETICAL COMPUTER SCIENCE, 2002, 271 (1-2) : 47 - 58
  • [44] INDEXES DESCRIPTIVE OF FACTOR COMPLEXITY
    HOFMANN, RJ
    JOURNAL OF GENERAL PSYCHOLOGY, 1977, 96 (01): : 103 - 110
  • [45] On the Descriptive Complexity of Color Coding
    Bannach, Max
    Tantau, Till
    ALGORITHMS, 2021, 14 (03)
  • [46] On the descriptive complexity of linear algebra
    Dawar, Anuj
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2008, 5110 : 17 - 25
  • [47] DESCRIPTIVE COMPLEXITY IN CANTOR SERIES
    Airey, Dylan
    Jackson, Steve
    Mance, Bill
    JOURNAL OF SYMBOLIC LOGIC, 2022, 87 (03) : 1023 - 1045
  • [48] The descriptive complexity of Helson sets
    Matheron, E
    ILLINOIS JOURNAL OF MATHEMATICS, 1995, 39 (04) : 608 - 626
  • [49] Descriptive Complexity of Graph Spectra
    Dawar, Anuj
    Severini, Simone
    Zapata, Octavio
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 183 - 199
  • [50] Descriptive complexity of controllable graphs
    Abiad, Aida
    Dawar, Anuj
    Zapata, Octavio
    arXiv, 2023,
12345