PLATO: A tool to assist programming as term rewriting and theorem proving

被引：0
|
作者：
Sampaio, AJ
Haeberer, AM
Prates, CT
Ururahy, CD
Frias, MF
Albuquerque, NC
机构：
来源：
TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT | 1995年 / 915卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：797 / 798
页数：2
相关论文
共 50 条
  • [1] THE TERM REWRITING APPROACH TO AUTOMATED THEOREM-PROVING
    HSIANG, J
    KIRCHNER, H
    LESCANNE, P
    RUSINOWITCH, M
    JOURNAL OF LOGIC PROGRAMMING, 1992, 14 (1-2): : 71 - 99
  • [2] 2 RESULTS IN TERM REWRITING THEOREM-PROVING
    HSIANG, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 301 - 324
  • [3] REFUTATIONAL THEOREM-PROVING USING TERM-REWRITING SYSTEMS
    HSIANG, J
    ARTIFICIAL INTELLIGENCE, 1985, 25 (03) : 255 - 300
  • [4] Automated inductive theorem proving using transformations of term rewriting systems
    Sato, Koichi
    Kikuchi, Kentaro
    Aoto, Takahito
    Toyama, Yoshihito
    Computer Software, 2015, 32 (01): : 179 - 193
  • [5] Logical Approach to Theorem Proving with Term Rewriting on KR-logic
    Yoshida, Tadayuki
    Nantajeewarawat, Ekawit
    Munetomo, Masaharu
    Akama, Kiyoshi
    KEOD: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 2: KEOD, 2019, : 282 - 289
  • [6] Combining Clifford algebraic computing and term-rewriting for geometric theorem proving
    Fevre, Stephane
    Wang, Dongming
    Fundamenta Informaticae, 1999, 39 (1-2): : 85 - 104
  • [7] HEURISTIC PROGRAMMING AND THEOREM PROVING
    NORTON, LM
    TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1972, 15 (02): : 777 - +
  • [8] Combining programming with theorem proving
    Chen, CY
    Xi, HW
    ACM SIGPLAN NOTICES, 2005, 40 (09) : 66 - 77
  • [9] Cdiprover3: A Tool for Proving Derivational Complexities of Term Rewriting Systems
    Schnabl, Andreas
    INTERFACES: EXPLORATIONS IN LOGIC, LANGUAGE AND COMPUTATION, 2010, 6211 : 142 - 154
  • [10] MU-TERM: A tool for proving termination of context-sensitive rewriting
    Lucas, S
    REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2004, 3091 : 200 - 209
12345