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 条
  • [41] Interactive proof-search for equational reasoning
    Miranda-Perea, Favio E.
    Gonzalez Huesca, Lourdes del Carmen
    Selene Linares-Arevalo, P.
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (06) : 1155 - 1181
  • [42] The Turing Test as interactive proof (Alan Turing)
    Shieber, Stuart M.
    NOUS, 2007, 41 (04): : 686 - 713
  • [43] Claim strength and burden of proof in interactive arguments
    Bailenson, JN
    PROCEEDINGS OF THE NINETEENTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 1997, : 13 - 18
  • [44] Interactive Analysis using PROOF in a GRID Infrastructure
    Rodriguez Marrero, Ana Yaiza
    Gonzalez Caballero, Isidro
    Cuesta Noriega, Alberto
    Matorras Weinig, Francisco
    INTERNATIONAL CONFERENCE ON COMPUTING IN HIGH ENERGY AND NUCLEAR PHYSICS (CHEP 2010), 2011, 331
  • [45] PRAWF: An Interactive Proof System for Program Extraction
    Berger, Ulrich
    Petrovska, Olga
    Tsuiki, Hideki
    BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 : 137 - 148
  • [46] The role of formal proof in modelling interactive behaviour
    Butterworth, R
    Blandford, A
    Duke, D
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, 1998, : 87 - 101
  • [47] Efficient Non-interactive Range Proof
    Yuen, Tsz Hon
    Huang, Qiong
    Mu, Yi
    Susilo, Willy
    Wong, Duncan S.
    Yang, Guomin
    COMPUTING AND COMBINATORICS, PROCEEDINGS, 2009, 5609 : 138 - +
  • [48] Experiments on supporting interactive proof using resolution
    Meng, J
    Paulson, LC
    AUTOMATED REASONING, PROCEEDINGS, 2004, 3097 : 372 - 384
  • [49] Interactive and probabilistic proof of mobile code safety
    Tsukada Y.
    Automated Software Engineering, 2005, 12 (2) : 237 - 257
  • [50] Critics: An Interactive Code Review Tool for Searching and Inspecting Systematic Changes
    Zhang, Tianyi
    Song, Myoungkyu
    Kim, Miryung
    22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 755 - 758
12345