Soundness and Completeness Proofs by Coinductive Methods

被引：0
|
作者：
机构：
[1] [1,Blanchette, Jasmin Christian
[2] 3,Popescu, Andrei
[3] Traytel, Dmitriy
来源：
Traytel, Dmitriy (traytel@inf.ethz.ch) | 1600年 / Springer Science and Business Media B.V.卷 / 58期
关键词：
Number:; NI; 491/13-3; Acronym:; -; Sponsor:; 713999; H2020; Sponsor: Horizon 2020 Framework Programme; EP/N019547/1; EPSRC; Sponsor: Engineering and Physical Sciences Research Council; 491/14-1; DFG; Sponsor: Deutsche Forschungsgemeinschaft;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Soundness and Completeness Proofs by Coinductive Methods
    Blanchette, Jasmin Christian
    Popescu, Andrei
    Traytel, Dmitriy
    JOURNAL OF AUTOMATED REASONING, 2017, 58 (01) : 149 - 179
  • [2] Soundness and Completeness Proofs by Coinductive Methods
    Jasmin Christian Blanchette
    Andrei Popescu
    Dmitriy Traytel
    Journal of Automated Reasoning, 2017, 58 : 149 - 179
  • [3] Native diagrammatic soundness and completeness proofs for Peirce’s Existential Graphs (Alpha)
    Gianluca Caterina
    Rocco Gangle
    Fernando Tohmé
    Synthese, 200
  • [4] Native diagrammatic soundness and completeness proofs for Peirce's Existential Graphs (Alpha)
    Caterina, Gianluca
    Gangle, Rocco
    Tohme, Fernando
    SYNTHESE, 2022, 200 (06)
  • [5] REMARKS ON SOUNDNESS OF PROOFS
    BURMESTER, MVD
    DESMEDT, YG
    ELECTRONICS LETTERS, 1989, 25 (22) : 1509 - 1511
  • [6] Coinductive Soundness of Corecursive Type Class Resolution
    Farka, Frantisek
    Komendantskaya, Ekaterina
    Hammond, Kevin
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2016, 2017, 10184 : 311 - 327
  • [7] Automating Soundness Proofs
    van Weerdenburg, Muck
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 229 (04) : 107 - 118
  • [8] CIRCULARITY IN SOUNDNESS AND COMPLETENESS
    Kaye, Richard
    BULLETIN OF SYMBOLIC LOGIC, 2014, 20 (01) : 24 - 38
  • [9] Coinductive proofs for basic real computation
    Hou, Tie
    LOGICAL APPROACHES TO COMPUTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 221 - 230
  • [10] PROOFS OF COMPLETENESS
    ZELLER, K
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1954, 60 (03) : 255 - 255
12345