Interactive Proof Critics

被引：0
|
作者：
Dept. of Comp. and Elec. Engineering, Heriot-Watt University, Edinburgh, United Kingdom [1 ]
不详 [2 ]
不详 [3 ]
不详 [4 ]
机构：
来源：
Formal Aspects Comput | / 3卷 / 302-325期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] System description: Interactive proof critics in XBarnacle
    Jackson, M
    Lowe, H
    AUTOMATED DEDUCTION - CADE-17, 2000, 1831 : 502 - 506
  • [2] Interactive Proof Systems
    Goldreich, Oded
    FOUNDATIONS AND TRENDS IN THEORETICAL COMPUTER SCIENCE, 2007, 3 (01): : 1 - +
  • [3] A framework for interactive proof
    Aspinall, David
    Lueth, Christoph
    Wintersteini, Daniel
    TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS, 2007, 4573 : 161 - +
  • [4] A semantics for proof plans with applications to interactive proof planning
    Richardson, J
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 337 - 351
  • [5] Proof General/Eclipse: A Generic Interface for Interactive Proof
    Winterstein, Daniel
    Aspinall, David
    Lueth, Christoph
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 1587 - 1588
  • [6] Improved Assistance for Interactive Proof
    Kaliszyk, Cezary
    PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2023, 2023, : 2 - 2
  • [7] STRATEGIES AND TECHNIQUES FOR INTERACTIVE PROOF
    HONDA, M
    NAKAJIMA, R
    LECTURE NOTES IN COMPUTER SCIENCE, 1983, 160 : 48 - 60
  • [8] Interactive Proof Presentations with Cobra
    Ring, Martin
    Lueth, Christoph
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (239): : 43 - 52
  • [9] BaffleText: a human interactive proof
    Chew, M
    Baird, HS
    DOCUMENT RECOGNITION AND RETRIEVAL X, 2003, 5010 : 305 - 316
  • [10] Memorizable interactive proof and zero-knowledge proof systems
    Chen, N
    Rong, JW
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (06) : 936 - 941
12345