REWRITING-SYSTEMS

被引：0

|

作者：

JOUANNAUD, JP ^{[1
]}

LESCANNE, P ^{[1
]}

机构：

[1] CTR RECH & INFORMAT NANCY,BP 239,F-54506 VANDOEUVRE NANCY,FRANCE

来源：

TSI-TECHNIQUE ET SCIENCE INFORMATIQUES | 1986年 / 5卷 / 06期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：433 / 452

页数：20

相关论文

共 50 条

[21] CONSTRUCTOR EQUIVALENT TERM REWRITING-SYSTEMS
DURAND, I
SALINIER, B
INFORMATION PROCESSING LETTERS, 1993, 47 (03) : 131 - 137
[22] A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 25 - 41
[23] ALGORITHMIC COMPLEXITY OF TERM REWRITING-SYSTEMS
CHOPPY, C
KAPLAN, S
SORIA, M
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 256 - 273
[24] TESTING CONFLUENCE OF NONTERMINATING REWRITING-SYSTEMS
CHEN, YY
ODONNELL, MJ
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 127 - 136
[25] INDUCTIVE SYNTHESIS OF TERM REWRITING-SYSTEMS
BARZDINS, G
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 502 : 253 - 285
[26] MODULAR TERM REWRITING-SYSTEMS AND THE TERMINATION
KURIHARA, M
KAJI, I
INFORMATION PROCESSING LETTERS, 1990, 34 (01) : 1 - 4
[27] ON THE DESCRIPTIVE POWER OF TERM REWRITING-SYSTEMS
AVENHAUS, J
JOURNAL OF SYMBOLIC COMPUTATION, 1986, 2 (02) : 109 - 122
[28] PROVING TERMINATION FOR TERM REWRITING-SYSTEMS
WEIERMANN, A
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 419 - 428
[29] SEQUENTIALITY IN ORTHOGONAL TERM REWRITING-SYSTEMS
KLOP, JW
MIDDELDORP, A
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 12 (02) : 161 - 195
[30] A LOGIC FOR CONDITIONAL TERM REWRITING-SYSTEMS
PLAISTED, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 212 - 227

← 1 2 3 4 5 →