ALGEBRAIC DOMAIN EQUATIONS

被引：8

作者：

EHRICH, HD

LIPECK, U

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(83)90098-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：167 / 196

页数：30

共 34 条

[11]

Goguen J., 1978, CURRENT TRENDS PROGR, P80

[12]

Goguen J.A, 1979, LNCS, V75, P425, DOI DOI 10.1007/3-540-09541-1_36

[13] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].

GOGUEN, JA ;

THATCHER, JW ;

WAGNER, EG ;

WRIGHT, JB .

[14]

GUTTAG JV, 1975, CSRG59 U TOR TECH RE

[15]

Kanda A., 1978, 19th Annual Symposium on Foundations of Computer Science, P221, DOI 10.1109/SFCS.1978.12

[16]

KANDA A, 1979, LECTURE NOTES COMPUT, V74, P326

[17]

Lehmann D. J., 1977, 18th Annual Symposium on Foundations of Computer Science, P7, DOI 10.1109/SFCS.1977.10

[18]

LEHMANN DJ, 1976, 17TH S F COMP SCI HO, P122

[19]

MERZENICH W, 1980, 97 U DORTM ABT INF B

[20]

MOSSES P, 1979, MODULAR DENOTATIONAL