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 条
  • [31] Coqoon An IDE for Interactive Proof Development in Coq
    Faithfull, Alexander
    Bengtson, Jesper
    Tassi, Enrico
    Tankink, Carst
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 316 - 331
  • [32] A Fluid Human Interactive Proof in Virtual Environment
    Liu, Li
    Hsu, Wen-Chin
    2017 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2017, : 1035 - 1040
  • [33] Towards Ludics Programming: Interactive Proof Search
    Saurin, Alexis
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 253 - 268
  • [34] Cryptographic reverse firewalls for interactive proof systems
    Ganesh, Chaya
    Magri, Bernardo
    Venturi, Daniele
    THEORETICAL COMPUTER SCIENCE, 2021, 855 : 104 - 132
  • [35] CoqoonAn IDE for interactive proof development in Coq
    Alexander Faithfull
    Jesper Bengtson
    Enrico Tassi
    Carst Tankink
    International Journal on Software Tools for Technology Transfer, 2018, 20 : 125 - 137
  • [36] Coqoon An IDE for interactive proof development in Coq
    Faithfull, Alexander
    Bengtson, Jesper
    Tassi, Enrico
    Tankink, Carst
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 20 (02) : 125 - 137
  • [37] MULTILANGUAGE ZERO KNOWLEDGE INTERACTIVE PROOF SYSTEMS
    KUROSAWA, K
    TSUJII, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 537 : 339 - 352
  • [38] INTERACTIVE PROOF SYSTEMS WITH POLYNOMIALLY BOUNDED STRATEGIES
    CONDON, A
    LADNER, R
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (03) : 506 - 518
  • [39] Entanglement in interactive proof systems with binary answers
    Wehner, S
    STACS 2006, PROCEEDINGS, 2006, 3884 : 162 - 171
  • [40] Interpreting a Classical Geometric Proof with Interactive Realizability
    Birolo, Giovanni
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (127): : 30 - 44
12345