A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS

被引：0

|

作者：

KAPLAN, S

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 256卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：25 / 41

页数：17

相关论文

共 50 条

[1] A COMPILER FOR A CLASS OF CONDITIONAL TERM REWRITING-SYSTEMS
GESER, A
HUSSMANN, H
MUCK, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 84 - 90
[2] A LOGIC FOR CONDITIONAL TERM REWRITING-SYSTEMS
PLAISTED, DA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 212 - 227
[3] MODULAR PROPERTIES OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
[J]. INFORMATION AND COMPUTATION, 1993, 104 (01) : 110 - 158
[4] COMPILING CONDITIONAL REWRITING-SYSTEMS
HEUILLARD, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 111 - 128
[5] CONFLUENCE OF THE DISJOINT UNION OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 295 - 306
[6] SIMPLIFYING CONDITIONAL TERM REWRITING-SYSTEMS - UNIFICATION, TERMINATION AND CONFLUENCE
KAPLAN, S
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1987, 4 (03) : 295 - 334
[7] ON THE EQUIVALENCE OF HIERARCHICAL AND NON-HIERARCHICAL REWRITING ON CONDITIONAL TERM REWRITING-SYSTEMS
NAVARRO, M
OREJAS, F
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 174 : 74 - 85
[8] TERM REWRITING-SYSTEMS AND ALGEBRA
LESCANNE, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 166 - 174
[9] TERM REWRITING-SYSTEMS WITH PRIORITIES
BAETEN, JCM
BERGSTRA, JA
KLOP, JW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 83 - 94
[10] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
HERMANN, M
KIRCHNER, C
KIRCHNER, H
[J]. COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33

← 1 2 3 4 5 →