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 条

[41] REWRITING-SYSTEMS WITH LIMITED DISTANCE FORBIDDING CONTEXT
VONSOLMS, SH
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1982, 11 (3-4) : 227 - 239
[42] MODULAR PROPERTIES OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
INFORMATION AND COMPUTATION, 1993, 104 (01) : 110 - 158
[43] TRANSFINITE REDUCTIONS IN ORTHOGONAL TERM REWRITING-SYSTEMS
KENNAWAY, R
KLOP, JW
SLEEP, R
DEVRIES, FJ
INFORMATION AND COMPUTATION, 1995, 119 (01) : 18 - 38
[44] DECIDABILITY OF CONFLUENCE FOR GROUND TERM REWRITING-SYSTEMS
DAUCHET, M
TISON, S
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 199 : 80 - 89
[45] A COMPLETION PROCEDURE FOR HIERARCHICAL CONDITIONAL REWRITING-SYSTEMS
BOUSDIRA, W
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 93 - 107
[46] A COMPILER FOR A CLASS OF CONDITIONAL TERM REWRITING-SYSTEMS
GESER, A
HUSSMANN, H
MUCK, A
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 84 - 90
[47] COMPILATION OF GROUND TERM REWRITING-SYSTEMS AND APPLICATIONS
DAUCHET, M
DERUYVER, A
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 556 - 558
[48] A PARALLEL COMPLETION PROCEDURE FOR TERM REWRITING-SYSTEMS
YELICK, KA
GARLAND, SJ
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 109 - 123
[49] ALGEBRAIC SEMANTICS AND COMPLEXITY OF TERM REWRITING-SYSTEMS
NAOI, T
INAGAKI, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 311 - 325
[50] ON GROUND-CONFLUENCE OF TERM REWRITING-SYSTEMS
KAPUR, D
NARENDRAN, P
OTTO, F
INFORMATION AND COMPUTATION, 1990, 86 (01) : 14 - 31

← 1 2 3 4 5 →