ALL SOLUTIONS OF A SYSTEM OF RECURSION EQUATIONS IN INFINITE-TREES AND OTHER CONTRACTION THEORIES

被引：8

作者：

BLOOM, SL

机构：

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1983年 / 27卷 / 02期

关键词：

D O I：

10.1016/0022-0000(83)90041-7

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：225 / 255

页数：31

共 22 条

[1]

ARNOLD A, 1978, IRIA323 RES REP

[2] VECTOR ITERATION IN POINTED ITERATIVE THEORIES [J].

BLOOM, SL ;

ELGOT, CC ;

WRIGHT, JB .

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

[3] SOLUTIONS OF THE ITERATION EQUATION AND EXTENSIONS OF THE SCALAR ITERATION OPERATION [J].

BLOOM, SL ;

ELGOT, CC ;

WRIGHT, JB .

SIAM JOURNAL ON COMPUTING, 1980, 9 (01) :25-45

[4]

BLOOM SL, IBM RC7322 RES REP

[5]

BLOOM SL, IBM RC7029 RES REP

[6]

BLOOM SL, 1982, PUBLICATION BANACH I, V9, P209

[7]

COURCELLE B, 1976, 17TH P IEEE S F COMP

[8]

EILENBERG S, 1976, INFORM CONTROL, V11

[9] MATRICIAL THEORIES [J].

ELGOT, CC .

JOURNAL OF ALGEBRA, 1976, 42 (02) :391-421

[10] ALGEBRAIC STRUCTURE OF ROOTED TREES [J].

ELGOT, CC ;

BLOOM, SL ;

TINDELL, R .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1978, 16 (03) :362-399

← 1 2 3 →