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 条
  • [41] A case study in programming coinductive proofs: Howe's method
    Momigliano, Alberto
    Pientka, Brigitte
    Thibodeau, David
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2019, 29 (08) : 1309 - 1343
  • [42] On arithmetical completeness of the logic of proofs
    Iwata, Sohei
    Kurahashi, Taishi
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 163 - 179
  • [43] Finite-Trace Linear Temporal Logic: Coinductive Completeness
    Rosu, Grigore
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 333 - 350
  • [44] The Boolean Algebra Logic: The Soundness and Completeness Theorem
    Chen Bo
    Zhang Xingyou
    Zhang Pengfei
    Cao Cong
    Liu Wenxue
    Zhao Kang
    2017 13TH INTERNATIONAL CONFERENCE ON SEMANTICS, KNOWLEDGE AND GRIDS (SKG 2017), 2017, : 15 - 18
  • [45] Soundness and Completeness of Kung's Reasoning Procedure
    黎仁蔚
    Journal of Computer Science & Technology, 1988, (01) : 7 - 15
  • [46] Optimization under the perspective of soundness, completeness, and reusability
    Knoop, J
    Rüthing, O
    CORRECT SYSTEM DESIGN: RECENT INSIGHTS AND ADVANCES, 1999, 1710 : 288 - 315
  • [47] SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION
    COOK, SA
    SIAM JOURNAL ON COMPUTING, 1978, 7 (01) : 70 - 90
  • [48] The soundness and completeness proof of agent intention in AgentSpeak
    Bo, Yang
    Zheng, Qin
    Fan, Yu
    Jun, Qin
    PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE: WI 2007, 2007, : 515 - +
  • [49] SOUNDNESS AND COMPLETENESS OF KUNG'S REASONING PROCEDURE
    黎仁蔚
    Science Bulletin, 1987, (21) : 1511 - 1512
  • [50] Soundness and Completeness Results for LEA and Probability Semantics
    Moore, Eoin
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (08) : 1720 - 1746
12345