TERM REWRITING-SYSTEMS AND ALGEBRA

被引：0

|

作者：

LESCANNE, P

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 170卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：166 / 174

页数：9

相关论文

共 50 条

[1] TERM REWRITING-SYSTEMS WITH PRIORITIES
BAETEN, JCM
BERGSTRA, JA
KLOP, JW
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 83 - 94
[2] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
HERMANN, M
KIRCHNER, C
KIRCHNER, H
[J]. COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
[3] EXTENDED TERM REWRITING-SYSTEMS
KLOP, JW
DEVRIJER, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
[4] FAIRNESS IN TERM REWRITING-SYSTEMS
PORAT, S
FRANCEZ, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
[5] ON EQUIVALENCE TRANSFORMATIONS FOR TERM REWRITING-SYSTEMS
TOYAMA, Y
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 44 - 61
[6] ON THE MODULARITY OF TERMINATION OF TERM REWRITING-SYSTEMS
OHLEBUSCH, E
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 136 (02) : 333 - 360
[7] CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS
DURAND, I
SALINIER, B
[J]. INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 131 - 137
[8] INDUCTIVE SYNTHESIS OF TERM REWRITING-SYSTEMS
BARZDINS, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 253 - 285
[9] A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS
KAPLAN, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 25 - 41
[10] ALGORITHMIC COMPLEXITY OF TERM REWRITING-SYSTEMS
CHOPPY, C
KAPLAN, S
SORIA, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 256 - 273

← 1 2 3 4 5 →