VARIETIES OF ITERATION THEORIES

被引：10

作者：

BLOOM, SL ^{[1
]}

ESIK, Z ^{[1
]}

机构：

[1] ATTILA JOZSEF UNIV,BOLYAI INST,H-6701 SZEGED,HUNGARY

来源：

SIAM JOURNAL ON COMPUTING | 1988年 / 17卷 / 05期

关键词：

D O I：

10.1137/0217059

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 [计算机软件与理论];

摘要：

22

引用

收藏

页码：939 / 966

页数：28

相关论文

共 23 条

[1]

PARTIALLY ADDITIVE CATEGORIES AND FLOW-DIAGRAM SEMANTICS [J].

ARBIB, MA ;

MANES, EG .

JOURNAL OF ALGEBRA, 1980, 62 (01) :203-227

[2]

ITERATIVE AND RECURSIVE MATRIX THEORIES [J].

BENSON, DB ;

GUESSARIAN, I .

JOURNAL OF ALGEBRA, 1984, 86 (02) :302-314

[3]

Bloom S. L., 1987, Acta Cybernetica, V8, P1

[4]

RECURSION AND ITERATION IN CONTINUOUS THEORIES - THE M-CONSTRUCTION [J].

BLOOM, SL ;

THATCHER, JW ;

WAGNER, EG ;

WRIGHT, JB .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1983, 27 (02) :148-164

[5]

AXIOMATIZING SCHEMES AND THEIR BEHAVIORS [J].

BLOOM, SL ;

ESIK, Z .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 31 (03) :375-393

[6]

VECTOR ITERATION IN POINTED ITERATIVE THEORIES [J].

BLOOM, SL ;

ELGOT, CC ;

WRIGHT, JB .

SIAM JOURNAL ON COMPUTING, 1980, 9 (03) :525-540

[7]

SCALAR AND VECTOR ITERATION [J].

BLOOM, SL ;

GINALI, S ;

RUTLEDGE, JD .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1977, 14 (02) :251-256

[8]

BLOOM SL, 1980, SIAM J COMPUT, V9, P26

[9]

BLOOM SL, 1982, CC ELGOT SELECTED PA

[10]

FUNDAMENTAL PROPERTIES OF INFINITE-TREES [J].

COURCELLE, B .

THEORETICAL COMPUTER SCIENCE, 1983, 25 (02) :95-169