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 条
  • [21] Propositional proof complexity
    Razborov, A
    JOURNAL OF THE ACM, 2003, 50 (01) : 80 - 82
  • [22] Relationship between linear complexity and κ-error complexity of binary periodic sequences
    Bai, Enjian
    Zhang, Bin
    Xiao, Guozhen
    Dianzi Yu Xinxi Xuebao/Journal of Electronics and Information Technology, 2002, 24 (12): : 1821 - 1824
  • [23] Proof theoretic complexity
    Ostrin, GE
    Wainer, SS
    PROOF AND SYSTEM-RELIABILITY, 2002, 62 : 369 - 397
  • [24] THE SURPRISING ORIGINS OF LIFE'S COMPLEXITY
    Zimmer, Carl
    SCIENTIFIC AMERICAN, 2013, 309 (02) : 84 - 89
  • [25] Surprising complexity of the ancestral apoptosis network
    Christian M Zmasek
    Qing Zhang
    Yuzhen Ye
    Adam Godzik
    Genome Biology, 8
  • [26] Surprising complexity of the ancestral apoptosis network
    Zmasek, Christian M.
    Zhang, Qing
    Ye, Yuzhen
    Godzik, Adam
    GENOME BIOLOGY, 2007, 8 (10)
  • [27] The Relationship between Multiplicative Complexity and Nonlinearity
    Boyar, Joan
    Find, Magnus Gausdal
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, 2014, 8635 : 130 - 140
  • [28] RELATIONSHIP BETWEEN COMPLEXITY AND HIERARCHICAL SEQUENCING
    CANCELLI, AA
    BERGAN, JR
    TABER, D
    JOURNAL OF EDUCATIONAL PSYCHOLOGY, 1980, 72 (03) : 331 - 337
  • [29] The Relationship between Complexity (Taxonomy) and Difficulty
    Tyng, Tan Yih
    Othman, Abdul Rahman
    PROCEEDINGS OF THE 20TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES (SKSM20): RESEARCH IN MATHEMATICAL SCIENCES: A CATALYST FOR CREATIVITY AND INNOVATION, PTS A AND B, 2013, 1522 : 596 - 603
  • [30] Digitization: The Relationship between Complexity and Usability
    Haase, Ingo Lothar
    EDUCATION EXCELLENCE AND INNOVATION MANAGEMENT THROUGH VISION 2020, 2019, : 708 - 710
12345