AXIOMATIZING SCHEMES AND THEIR BEHAVIORS

被引：21

作者：

BLOOM, SL

ESIK, Z

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(85)90059-5

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：375 / 393

页数：19

共 14 条

[1]

Bloom S. L., 1979, Theoretical Computer Science, V9, P265, DOI 10.1016/0304-3975(79)90031-8

[2] SCALAR AND VECTOR ITERATION [J].

BLOOM, SL ;

GINALI, S ;

RUTLEDGE, JD .

[3] EXISTENCE AND CONSTRUCTION OF FREE ITERATIVE THEORIES [J].

BLOOM, SL ;

ELGOT, CC .

[4]

BLOOM SL, 1980, SIAM J COMPUT, V9

[5]

BLOOM SL, 1982, CC ELGOT SELECTED PA

[6]

Elgot C. C., 1976, IEEE Transactions on Software Engineering, VSe-2, P41, DOI 10.1109/TSE.1976.233800

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

ELGOT, CC ;

BLOOM, SL ;

TINDELL, R .

[8]

ELGOT CC, 1977, P FUNDAMENTALS COMPU

[9]

ELGOT CC, 1975, STUDIES LOGIC, V80, P175

[10]

ELGOT CC, CCE, P301