CONVENIENT CRYPTOMORPHIC VERSION OF RECURSIVE FUNCTION THEORY

被引：2

作者：

PRATHER, RE ^{[1
]}

机构：

[1] UNIV DENVER,DEPT MATH,DENVER,CO 80210

来源：

INFORMATION AND CONTROL | 1975年 / 27卷 / 02期

关键词：

D O I：

10.1016/S0019-9958(75)90127-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：178 / 195

页数：18

共 9 条

[1]

CRAPO HH, 1970, FOUNDATIONS COMBINAT

[2]

EILENBERG S, 1970, RECURSIVENESS

[3]

Hopcroft J.E., 1969, FORMAL LANGUAGES THE

[4]

Mitchell B., 1965, PURE APPL MATH, V17

[5]

Peter R., 1967, RECURSIVE FUNCTIONS

[6]

Prather R. E., 1970, Mathematical Systems Theory, V4, P295, DOI 10.1007/BF01695771

[7] EPIMORPHISMS IN CERTAIN CATEGORIES OF TRANSDUCERS [J].

PRATHER, RE .

INFORMATION AND CONTROL, 1972, 21 (04) :301-&

[8] CATEGORICAL CHARACTERIZATION OF GENERAL AUTOMATA [J].

RINE, DC .

INFORMATION AND CONTROL, 1971, 19 (01) :30-&

[9]

YASUHARA A, 1971, RECURSIVE FUNCTION T