RECURSION AND ITERATION IN CONTINUOUS THEORIES - THE M-CONSTRUCTION

被引:10
作者
BLOOM, SL [1 ]
THATCHER, JW [1 ]
WAGNER, EG [1 ]
WRIGHT, JB [1 ]
机构
[1] IBM CORP,THOMAS J WATSON RES CTR,YORKTOWN HTS,NY 10598
关键词
D O I
10.1016/0022-0000(83)90037-5
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 [计算机科学与技术];
摘要
引用
收藏
页码:148 / 164
页数:17
相关论文
共 17 条
[1]
VARIETIES OF ORDERED ALGEBRAS [J].
BLOOM, SL .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 13 (02) :200-212
[2]
SCALAR AND VECTOR ITERATION [J].
BLOOM, SL ;
GINALI, S ;
RUTLEDGE, JD .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 14 (02) :251-256
[3]
EXISTENCE AND CONSTRUCTION OF FREE ITERATIVE THEORIES [J].
BLOOM, SL ;
ELGOT, CC .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1976, 12 (03) :305-318
[4]
BLOOM SL, SIAM J COMPUT, V9, P25
[5]
BLOOM SL, 1980, SIAM J COMPUT, P525
[6]
COHN PM, 1965, UNIVERSAL ALGEBRA
[7]
ELGOT CC, 1973, IBM RC4564 RES REP
[8]
ELGOT CC, 1975, 1973 P LOG C BRIST N, P175
[9]
INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].
GOGUEN, JA ;
THATCHER, JW ;
WAGNER, EG ;
WRIGHT, JB .
JOURNAL OF THE ACM, 1977, 24 (01) :68-95