EXISTENCE AND CONSTRUCTION OF FREE ITERATIVE THEORIES

被引：19

作者：

BLOOM, SL ^{[1
]}

ELGOT, CC ^{[1
]}

机构：

[1] IBM CORP THOMAS J WATSON RES CTR,DEPT MATH SCI,YORKTOWN HTS,NY 10598

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1976年 / 12卷 / 03期

关键词：

D O I：

10.1016/S0022-0000(76)80003-7

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：305 / 318

页数：14

相关论文

共 6 条

[1]

EILENBERG S, 1967, INFORM CONTR, V11

[2]

ELGOT CC, TO BE PUBLISHED

[3]

ELGOT CC, 1974, RC4833 IBM REP

[4]

ELGOT CC, 1975, 1973 P LOG COLL BRIS

[5] FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES [J].

LAWVERE, FW .

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1963, 50 (05) :869-&

[6]

ROSENBLOOM PC, 1950, ELEMENTS MATHEMATICA