Inductive Theorem Proving for Design Specifications

被引：0
|
作者：
机构：
来源：
J Symb Comput | / 1卷 / 41期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Theorem proving modulo
    Dowek, G
    Hardin, T
    Kirchner, C
    JOURNAL OF AUTOMATED REASONING, 2003, 31 (01) : 33 - 72
  • [42] Automated theorem proving
    Li, HB
    GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING, 2001, : 110 - +
  • [43] Theorem proving for verification
    Harrison, John
    COMPUTER AIDED VERIFICATION, 2008, 5123 : 11 - 18
  • [44] Constraints and theorem proving
    Ganzinger, H
    Nieuwenhuis, R
    CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 159 - 201
  • [45] Advances in theorem proving
    Kientzle, T
    DR DOBBS JOURNAL, 1997, 22 (03): : 16 - 16
  • [46] Theorem Proving Modulo
    Gilles Dowek
    Thérèse Hardin
    Claude Kirchner
    Journal of Automated Reasoning, 2003, 31 : 33 - 72
  • [47] Unsound theorem proving
    Lynch, C
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 473 - 487
  • [48] Automated theorem proving
    Plaisted, David A.
    WILEY INTERDISCIPLINARY REVIEWS-COGNITIVE SCIENCE, 2014, 5 (02) : 115 - 128
  • [49] Proving semantical equivalence of data specifications
    Piessens, F
    Steegmans, E
    JOURNAL OF PURE AND APPLIED ALGEBRA, 1997, 116 (1-3) : 291 - 322
  • [50] Computer-assisted human-oriented inductive theorem proving by descente infinie-a manifesto
    Wirth, Claus-Peter
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (06) : 1046 - 1063
12345