CHECKING PROOFS AND DUMMIES

被引：0
|
作者：
MATTHIES, LH
MYERS, G
机构：
来源：
JOURNAL OF SYSTEMS MANAGEMENT | 1985年 / 36卷 / 11期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：22 / 23
页数：2
相关论文
共 50 条
  • [1] Progress Checking for Dummies
    Valmari, Antti
    Hansen, Henri
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2018, 2018, 11119 : 115 - 130
  • [2] A framework for checking proofs naturally
    Masahiko Sato
    Journal of Intelligent Information Systems, 2008, 31 : 111 - 125
  • [3] A framework for checking proofs naturally
    Sato, Masahiko
    JOURNAL OF INTELLIGENT INFORMATION SYSTEMS, 2008, 31 (02) : 111 - 125
  • [4] CHECKING NATURAL-LANGUAGE PROOFS
    SIMON, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 141 - 150
  • [5] Validation of HOL Proofs by Proof Checking
    Wai Wong
    Formal Methods in System Design, 1999, 14 : 193 - 212
  • [6] Validation of HOL proofs by proof checking
    Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong
    Formal Methods Syst Des, 2 (193-212):
  • [7] Trimming while Checking Clausal Proofs
    Heule, Marijn J. H.
    Hunt, Warren A., Jr.
    Wetzler, Nathan
    2013 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2013, : 181 - 188
  • [8] Checking Zenon Modulo Proofs in Dedukti
    Cauderlier, Raphael
    Halmagrand, Pierre
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (186): : 57 - 73
  • [9] Efficient, Verified Checking of Propositional Proofs
    Heule, Marijn
    Hunt, Warren, Jr.
    Kaufmann, Matt
    Wetzler, Nathan
    INTERACTIVE THEOREM PROVING (ITP 2017), 2017, 10499 : 269 - 284
  • [10] Validation of HOL proofs by proof checking
    Wong, W
    FORMAL METHODS IN SYSTEM DESIGN, 1999, 14 (02) : 193 - 212
12345