A COMPILER FOR A CLASS OF CONDITIONAL TERM REWRITING-SYSTEMS

被引：0
作者：
GESER, A
HUSSMANN, H
MUCK, A
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 308卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：84 / 90
页数：7
相关论文
共 6 条
[1]  
BIDOIT M, 1986, SPRINGER LNCS, V186, P246
[2]  
FUTATSUGI K, 1985, 12TH P ACM POPL S NE
[3]  
GESER A, 1986, LECT NOTES COMPUT SC, V213, P339
[4]  
KAPLAN S, 1987, SPRINGER LNCS, V256, P24
[5]  
KLAEREN H, 1987, IN PRESS P METEOR WO
[6]  
WIRSING M, 1983, ACTA INFORM, V20, P1, DOI 10.1007/BF00264293
1