INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS

被引：379

作者：

GOGUEN, JA

THATCHER, JW

WAGNER, EG

WRIGHT, JB

机构：

[1] UNIV CALIF LOS ANGELES,DEPT COMP SCI,LOS ANGELES,CA 90024

[2] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598

来源：

关键词：

D O I：

10.1145/321992.321997

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：68 / 95

页数：28

共 83 条

[1]

Aho A. V., 1969, J COMPUT SYST SCI, V3, P319

[2] TRANSLATIONS ON A CONTEXT FREE GRAMMAR [J].

AHO, AV ;

ULLMAN, JD .

INFORMATION AND CONTROL, 1971, 19 (05) :439-+

[3]

BAKER BS, 1973, TR973 HARV U CTR RES

[4]

BEKIC H, 1969, DEFINABLE OPERATIONS

[5]

Benabou J., 1968, CAHIERS TOPOLOGIE GE, V10, P1

[6] On the structure of abstract algebras [J].

Birkhoff, G .

PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 1935, 31 :433-454

[7]

Birkhoff G., 1970, J COMBINATORIAL THEO, V8, P115, DOI DOI 10.1016/S0021-9800(70)80014-X

[8] EQUATIONAL LANGUAGES [J].

BLIKLE, A .

INFORMATION AND CONTROL, 1972, 21 (02) :134-&

[9]

BLOOM SL, 1974, RC4937 IBM TJ WATS R

[10]

Burstall R. M., 1969, MACHINE INTELLIGENCE, V4, P17