ALGEBRAIC-THEORY OF MODULE SPECIFICATIONS WITH CONSTRAINTS

被引：0

作者：

EHRIG, H ^{[1
]}

FEY, W ^{[1
]}

PARISIPRESICCE, F ^{[1
]}

BLUM, EK ^{[1
]}

机构：

[1] UNIV SO CALIF,LOS ANGELES,CA 90089

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 233卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：59 / 77

页数：19

相关论文

共 24 条

[1]

BLUM EK, 1985, LECT NOTES COMPUT SC, V185, P359

[2]

BLUM EK, 1986, UNPUB JCSS

[3]

Ehrig H., 1985, FUNDAMENTALS ALGEBRA, V1

[4]

EHRIG H, 1985, FORMAL MODELS PROGRA, P231

[5]

EHRIG H, 1983, LECT NOTES COMPUT SC, V154, P188

[6]

EHRIG H, 1986, SEP P IFIP C 86 DUBL

[7]

EHRIG H, 1982, 8209 U BERL TECHN RE

[8]

EHRIG H, 1986, P IFIP TC2 WORKING C

[9]

EHRIG H, 1985, NOTES MODULES DUPLEX

[10]

EHRIG H, 1981, LECT NOTES COMPUT SC, V112, P1