ALGEBRAIC DOMAIN EQUATIONS

被引：8

作者：

EHRICH, HD

LIPECK, U

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(83)90098-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：167 / 196

页数：30

共 34 条

[1] Arbib Michael A., 1975, ARROWS STRUCTURES FU
[2] BURSTALL RM, 1977, 5TH P INT JOINT C AR, P1045
[3] Burstall Rod M., 1980, LECTURE NOTES COMPUT, V86, P292
[4] ON THE THEORY OF SPECIFICATION, IMPLEMENTATION, AND PARAMETRIZATION OF ABSTRACT DATA-TYPES
EHRICH, HD
[J]. JOURNAL OF THE ACM, 1982, 29 (01) : 206 - 227
[5] EHRICH HD, 1979, 82 U DORTM ABT INF B
[6] EHRICH HD, 1979, APPLIED COMPUTER SCI, V13, P169
[7] EHRICH HD, 1979, LECTURE NOTES COMPUT, V73, P180
[8] EHRICH HD, 1981, LECTURE NOTES COMPUT, V117, P120
[9] Ehrig H., 1980, LECT NOTES COMPUTER, V85, P157
[10] EHRIG H, 1982, LECTURE NOTES COMPUT, V134, P322