USE OF CONDITIONAL TERM REWRITING-SYSTEMS IN AUTOMATIC THEOREM-PROVING .1.

被引：0

|

作者：

VOROBYEV, SG

机构：

来源：

SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES | 1989年 / 27卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：49 / 59

页数：11

相关论文

共 50 条

[31] FAIRNESS IN TERM REWRITING-SYSTEMS
PORAT, S
FRANCEZ, N
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
[32] 1ST-ORDER THEOREM-PROVING USING CONDITIONAL REWRITE RULES
ZHANG, H
KAPUR, D
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 310 : 1 - 20
[33] A COMPLETION PROCEDURE FOR HIERARCHICAL CONDITIONAL REWRITING-SYSTEMS
BOUSDIRA, W
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 93 - 107
[34] AUTOMATIC THEOREM-PROVING WITHIN THE PORTABLE AI LAB
BAJ, F
ROSNER, M
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 636 : 313 - 324
[35] Automatic geometry theorem-proving and automatic geometry problem-solving
Wu, WT
AUTOMATED DEDUCTION IN GEOMETRY, PROCEEDINGS, 1999, 1669 : 1 - 13
[36] Characterizing and proving operational termination of deterministic conditional term rewriting systems
Schernhammer, Felix
Gramlich, Bernhard
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (07): : 659 - 688
[37] ON EQUIVALENCE TRANSFORMATIONS FOR TERM REWRITING-SYSTEMS
TOYAMA, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 44 - 61
[38] Dependency pairs for proving termination properties of conditional term rewriting systems
Lucas, Salvador
Meseguer, Jose
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 86 (01) : 236 - 268
[39] CHEW THEOREM REVISITED - UNIQUELY NORMALIZING PROPERTY OF NONLINEAR TERM REWRITING-SYSTEMS
OGAWA, M
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 650 : 309 - 318
[40] ON THE MODULARITY OF TERMINATION OF TERM REWRITING-SYSTEMS
OHLEBUSCH, E
THEORETICAL COMPUTER SCIENCE, 1994, 136 (02) : 333 - 360

← 1 2 3 4 5 →