COMPILING CONDITIONAL REWRITING-SYSTEMS

被引：0

|

作者：

HEUILLARD, T

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 308卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：111 / 128

页数：18

相关论文

共 50 条

[1] A COMPILER FOR CONDITIONAL TERM REWRITING-SYSTEMS
KAPLAN, S
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 256 : 25 - 41
[2] A LOGIC FOR CONDITIONAL TERM REWRITING-SYSTEMS
PLAISTED, DA
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 : 212 - 227
[3] MODULAR PROPERTIES OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
INFORMATION AND COMPUTATION, 1993, 104 (01) : 110 - 158
[4] A COMPLETION PROCEDURE FOR HIERARCHICAL CONDITIONAL REWRITING-SYSTEMS
BOUSDIRA, W
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 343 : 93 - 107
[5] 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
[6] CONFLUENCE OF THE DISJOINT UNION OF CONDITIONAL TERM REWRITING-SYSTEMS
MIDDELDORP, A
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 295 - 306
[7] ON THE EQUIVALENCE OF HIERARCHICAL AND NON-HIERARCHICAL REWRITING ON CONDITIONAL TERM REWRITING-SYSTEMS
NAVARRO, M
OREJAS, F
LECTURE NOTES IN COMPUTER SCIENCE, 1984, 174 : 74 - 85
[8] REWRITING-SYSTEMS
JOUANNAUD, JP
LESCANNE, P
TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1986, 5 (06): : 433 - 452
[9] SIMPLIFYING CONDITIONAL TERM REWRITING-SYSTEMS - UNIFICATION, TERMINATION AND CONFLUENCE
KAPLAN, S
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 4 (03) : 295 - 334
[10] THUE SYSTEMS AS REWRITING-SYSTEMS
BOOK, RV
JOURNAL OF SYMBOLIC COMPUTATION, 1987, 3 (1-2) : 39 - 68

← 1 2 3 4 5 →