Automated inductive theorem proving using transformations of term rewriting systems

被引：0
|
作者：
Sato, Koichi [1 ]
Kikuchi, Kentaro [1 ]
Aoto, Takahito [1 ]
Toyama, Yoshihito [1 ]
机构：
[1] Research Institute of Electrical Communication, Tohoku University, Japan
来源：
Computer Software | 2015年 / 32卷 / 01期
关键词：
Automated theorem proving - Automated verification - Functional programs - Inductive Theorem Proving - Program transformation techniques - Recursive programs - Tail recursive - Term rewriting systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：179 / 193
相关论文
共 50 条
  • [31] ON EQUIVALENCE TRANSFORMATIONS FOR TERM REWRITING-SYSTEMS
    TOYAMA, Y
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 44 - 61
  • [32] Proving termination of ω rewriting systems
    Shigeta, Y
    Akama, K
    Koike, H
    Ishikawa, T
    INTERNATIONAL CONFERENCE ON COMPUTING AND INFORMATION TECHNOLOGIES : EXPLORING EMERGING TECHNOLOGIES, 2001, : 399 - 404
  • [33] ON AUTOMATED THEOREM-PROVING
    RUSSELL, S
    WHEELER, T
    ANNALS OF THE NEW YORK ACADEMY OF SCIENCES, 1992, 661 : 160 - 173
  • [34] On Interpolation in Automated Theorem Proving
    Maria Paola Bonacina
    Moa Johansson
    Journal of Automated Reasoning, 2015, 54 : 69 - 97
  • [35] Directed automated theorem proving
    Edelkamp, S
    Leven, P
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2002, 2514 : 145 - 159
  • [36] Orderings in automated theorem proving
    Kirchner, H
    MATHEMATICAL ASPECTS OF ARTIFICIAL INTELLIGENCE, 1998, 55 : 55 - 95
  • [37] Automated Theorem Proving in the Classroom
    Windsteiger, Wolfgang
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (352): : 54 - 63
  • [38] Automated theorem proving: An overview
    Maghrabi, TH
    ARABIAN JOURNAL FOR SCIENCE AND ENGINEERING, 1997, 22 (2B): : 245 - 258
  • [39] On Interpolation in Automated Theorem Proving
    Bonacina, Maria Paola
    Johansson, Moa
    JOURNAL OF AUTOMATED REASONING, 2015, 54 (01) : 69 - 97
  • [40] Automated proofs of horn-clause inductive theo-rems for conditional term rewriting systems
    Kurita T.
    Aoto T.
    Computer Software, 2019, 36 (02) : 61 - 75
12345