TERM REWRITING-SYSTEMS WITH PRIORITIES

被引：0

|

作者：

BAETEN, JCM

BERGSTRA, JA

KLOP, JW

机构：

[1] STATE UNIV UTRECHT,DEPT PHILOSOPHY,UTRECHT,NETHERLANDS

[2] FREE UNIV AMSTERDAM,DEPT COMP SCI,1007 MC AMSTERDAM,NETHERLANDS

[3] CTR MATH & COMP SCI,AMSTERDAM,NETHERLANDS

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 256卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：83 / 94

页数：12

相关论文

共 50 条

[1] GRAPH REWRITING-SYSTEMS WITH PRIORITIES
BILLAUD, M
LAFON, P
METIVIER, Y
SOPENA, E
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 411 : 94 - 106
[2] COMPUTING WITH GRAPH REWRITING-SYSTEMS WITH PRIORITIES
LITOVSKY, I
METIVIER, Y
[J]. THEORETICAL COMPUTER SCIENCE, 1993, 115 (02) : 191 - 224
[3] TERM REWRITING-SYSTEMS AND ALGEBRA
LESCANNE, P
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 166 - 174
[4] IMPLEMENTATIONS OF TERM REWRITING-SYSTEMS
HERMANN, M
KIRCHNER, C
KIRCHNER, H
[J]. COMPUTER JOURNAL, 1991, 34 (01): : 20 - 33
[5] EXTENDED TERM REWRITING-SYSTEMS
KLOP, JW
DEVRIJER, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 26 - 50
[6] FAIRNESS IN TERM REWRITING-SYSTEMS
PORAT, S
FRANCEZ, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
[7] ON EQUIVALENCE TRANSFORMATIONS FOR TERM REWRITING-SYSTEMS
TOYAMA, Y
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 44 - 61
[8] ON THE MODULARITY OF TERMINATION OF TERM REWRITING-SYSTEMS
OHLEBUSCH, E
[J]. THEORETICAL COMPUTER SCIENCE, 1994, 136 (02) : 333 - 360
[9] CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS
DURAND, I
SALINIER, B
[J]. INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 131 - 137
[10] INDUCTIVE SYNTHESIS OF TERM REWRITING-SYSTEMS
BARZDINS, G
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 253 - 285

← 1 2 3 4 5 →