COMPLEXITY OF DESCRIPTIONS OF SYSTEMS - FOUNDATIONAL STUDY

被引：30

作者：

LOFGREN, L ^{[1
]}

机构：

[1] UNIV LUND,S-22007 LUND 7,SWEDEN

来源：

关键词：

D O I：

10.1080/03081077708934766

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：197 / 214

页数：18

共 25 条

[1] ARBIB MA, 1969, THEORIES ABSTRACT AU
[2] Ausiello G., 1971, Journal of Computer and System Sciences, V5, P118, DOI 10.1016/S0022-0000(71)80030-2
[3] A MACHINE-INDEPENDENT THEORY OF COMPLEXITY OF RECURSIVE FUNCTIONS
BLUM, M
[J]. JOURNAL OF THE ACM, 1967, 14 (02) : 322 - &
[4] THINGS
BUNGE, M
[J]. INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 1974, 1 (04) : 229 - 236
[5] Church A., 1940, B AM MATH SOC, V46, P130
[6] Davis M., 1958, COMPUTABILITY UNSOLV
[7] GOGUEN JA, 1975, INT J GEN SYST, V1, P237
[8] LOFGREN L, 1971, J SYMBOLIC LOGIC, V36, P360
[9] LOFGREN L, 1972, TRENDS GENERAL SYSTE
[10] LOFGREN L, 1973, LOGIC METHODOLOGY PH, V4