COMPILING CONDITIONAL REWRITING-SYSTEMS

被引：0

|

作者：

HEUILLARD, T

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 308卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：111 / 128

页数：18

相关论文

共 50 条

[21] FINITENESS RESULTS ON REWRITING-SYSTEMS
RAOULT, JC
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1981, 15 (04): : 373 - 391
[22] REWRITING-SYSTEMS FOR COXETER GROUPS
HERMILLER, SM
JOURNAL OF PURE AND APPLIED ALGEBRA, 1994, 92 (02) : 137 - 148
[23] FAIRNESS IN TERM REWRITING-SYSTEMS
PORAT, S
FRANCEZ, N
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 202 : 287 - 300
[24] PROVING TERMINATION OF ASSOCIATIVE COMMUTATIVE REWRITING-SYSTEMS BY REWRITING
GNAEDIG, I
LESCANNE, P
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 52 - 61
[25] USE OF CONDITIONAL TERM REWRITING-SYSTEMS IN AUTOMATIC THEOREM-PROVING .1.
VOROBYEV, SG
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1989, 27 (01): : 49 - 59
[26] ON EQUIVALENCE TRANSFORMATIONS FOR TERM REWRITING-SYSTEMS
TOYAMA, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1986, 220 : 44 - 61
[27] AN ALGEBRAIC STRUCTURE FOR DERIVATIONS IN REWRITING-SYSTEMS
VELINOV, Y
THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 205 - 224
[28] COMPUTING WITH GRAPH REWRITING-SYSTEMS WITH PRIORITIES
LITOVSKY, I
METIVIER, Y
THEORETICAL COMPUTER SCIENCE, 1993, 115 (02) : 191 - 224
[29] ON THE MODULARITY OF TERMINATION OF TERM REWRITING-SYSTEMS
OHLEBUSCH, E
THEORETICAL COMPUTER SCIENCE, 1994, 136 (02) : 333 - 360
[30] CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS
DURAND, I
SALINIER, B
INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 131 - 137

← 1 2 3 4 5 →