ALGEBRAICALLY GENERALIZED RECURSIVE FUNCTION THEORY

被引：13

|

作者：

STRONG, HR

机构：

来源：

IBM JOURNAL OF RESEARCH AND DEVELOPMENT | 1968年 / 12卷 / 06期

关键词：

D O I：

10.1147/rd.126.0465

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：465 / &

相关论文

共 50 条

[1] CONSTRUCTION OF MODELS FOR ALGEBRAICALLY GENERALIZED RECURSIVE FUNCTION THEORY
STRONG, HR
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (03) : 401 - &
[2] RECURSIVE COMPUTATION OF GENERALIZED Q FUNCTION
DILLARD, GM
IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 1973, AES9 (04) : 614 - 615
[3] HIERARCHIES IN RECURSIVE FUNCTION THEORY
HENSEL, G
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 262 - &
[4] ONE GENERALIZATION OF RECURSIVE FUNCTION THEORY
SKORDEV, D
DOKLADY AKADEMII NAUK SSSR, 1974, 219 (05): : 1079 - 1082
[5] ORIGINS OF RECURSIVE FUNCTION-THEORY
KLEENE, SC
ANNALS OF THE HISTORY OF COMPUTING, 1981, 3 (01): : 52 - 67
[6] A foundation for real recursive function theory
Costa, Jose Felix
Loff, Bruno
Mycka, Jerzy
ANNALS OF PURE AND APPLIED LOGIC, 2009, 160 (03) : 255 - 288
[7] RECURSIVE FUNCTION THEORY AND SPEED OF COMPUTATION
BLUM, M
CANADIAN MATHEMATICAL BULLETIN, 1966, 9 (06): : 745 - &
[8] The recursive generalized predictive feedback control: theory and experiments
Moon, SM
Clark, RL
Cole, DG
JOURNAL OF SOUND AND VIBRATION, 2005, 279 (1-2) : 171 - 199
[9] CONVENIENT CRYPTOMORPHIC VERSION OF RECURSIVE FUNCTION THEORY
PRATHER, RE
INFORMATION AND CONTROL, 1975, 27 (02): : 178 - 195
[10] THEORY OF GREEN GENERALIZED FUNCTION
ZUBOV, VM
IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1981, (09): : 69 - 73

← 1 2 3 4 5 →