TOWARD PERFECT PROOFS

被引：0
|
作者：
STANLEY, RL
机构：
来源：
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY | 1969年 / 16卷 / 05期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：762 / &
相关论文
共 50 条
  • [1] Perfect proofs at first order
    Tennant, Neil
    JOURNAL OF LOGIC AND COMPUTATION, 2024,
  • [2] Coarsening Natural Deduction Proofs I: Finding Perfect Proofs
    Brauer, Ethan
    JOURNAL OF LOGIC AND COMPUTATION, 2024, 35 (02)
  • [3] Toward Liveness Proofs at Scale
    McMillan, Kenneth L.
    COMPUTER AIDED VERIFICATION, PT I, CAV 2024, 2024, 14681 : 255 - 276
  • [4] Toward Partial Proofs of Vulnerabilities
    Brossard, Jonathan
    2024 IEEE SECURE DEVELOPMENT CONFERENCE, SECDEV 2024, 2024, : 180 - 182
  • [5] Perfect zero knowledge for quantum multiprover interactive proofs
    Grilo, Alex B.
    Slofstra, William
    Yuen, Henry
    2019 IEEE 60TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS 2019), 2019, : 611 - 635
  • [6] TOWARD COMPILER IMPLEMENTATION CORRECTNESS PROOFS
    CHIRICA, LM
    MARTIN, DF
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1986, 8 (02): : 185 - 214
  • [7] TOWARD THE PERFECT WORKPLACE
    BAILYN, L
    COMMUNICATIONS OF THE ACM, 1989, 32 (04) : 460 - 471
  • [8] TOWARD THE PERFECT INTERFACE
    GULLO, K
    COMPUTER DECISIONS, 1985, 17 (05): : 120 - &
  • [9] ROUND-OPTIMAL PERFECT ZERO-KNOWLEDGE PROOFS
    DICRESCENZO, G
    PERSIANO, G
    INFORMATION PROCESSING LETTERS, 1994, 50 (02) : 93 - 99
  • [10] Toward a More Perfect Hamilton
    Mcallister, Marvin
    JOURNAL OF THE EARLY REPUBLIC, 2017, 37 (02) : 279 - 288
12345