Automated theorem proving in temporal logic. T-resolution

被引：0
|
作者：
Zhaokeng, Zhao
Jun, Dai
Wendan, Chen
机构：
来源：
Journal of Computer Science and Technology | 1994年 / 9卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Automated Theorem Proving in Temporal Logic:T-Resolution
    招兆铿
    戴军
    陈文丹
    [J]. Journal of Computer Science & Technology, 1994, (01) : 53 - 62
  • [2] CASE STUDY IN AUTOMATED THEOREM PROVING: FINDING SAGES IN COMBINATORY LOGIC.
    McCune, William
    Wos, Larry
    [J]. 1600, (03):
  • [3] Interactive Theorem Proving with Temporal Logic
    Felty, A.
    Thery, L.
    [J]. Journal of Symbolic Computation, 23 (04):
  • [4] Interactive theorem proving with temporal logic
    Felty, A
    Thery, L
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 1997, 23 (04) : 367 - 397
  • [5] Theorem Proving for Metric Temporal Logic over the Naturals
    Hustadt, Ullrich
    Ozaki, Ana
    Dixon, Clare
    [J]. AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 326 - 343
  • [6] Automated Theorem Proving for Assertions in Separation Logic with All Connectives
    Hou, Zhe
    Gore, Rajeev
    Tiu, Alwen
    [J]. AUTOMATED DEDUCTION - CADE-25, 2015, 9195 : 501 - 516
  • [7] AUTOMATED THEOREM-PROVING AND LOGIC PROGRAMMING - A NATURAL SYMBIOSIS
    WOS, L
    MCCUNE, W
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1991, 11 (01): : 1 - 53
  • [8] DNA implementation of theorem proving with resolution refutation in propositional logic
    Lee, IH
    Park, JY
    Jang, HM
    Chai, YG
    Zhang, BT
    [J]. DNA COMPUTING, 2003, 2568 : 156 - 167
  • [9] Automated theorem proving
    Li, HB
    [J]. GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING, 2001, : 110 - +
  • [10] Automated theorem proving
    Plaisted, David A.
    [J]. WILEY INTERDISCIPLINARY REVIEWS-COGNITIVE SCIENCE, 2014, 5 (02) : 115 - 128
12345