BUSY BEAVER SETS AND THE DEGREES OF UNSOLVABILITY

被引：2

|

作者：

DALEY, RP

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1981年 / 46卷 / 03期

关键词：

D O I：

10.2307/2273749

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：460 / 474

页数：15

相关论文

共 50 条

[31] INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY
LERMAN, M
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (04): : 671 - &
[32] AUTOMORPHISM BASES FOR DEGREES OF UNSOLVABILITY
JOCKUSCH, CG
POSNER, DB
ISRAEL JOURNAL OF MATHEMATICS, 1981, 40 (02) : 150 - 164
[33] DEGREES OF UNSOLVABILITY IN FORMAL GRAMMARS
CUDIA, DF
SINGLETA, WE
JOURNAL OF THE ACM, 1968, 15 (04) : 680 - &
[34] DEGREES OF UNSOLVABILITY OF PARTIAL FUNCTIONS
SASSO, LP
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (05): : 824 - &
[35] DEGREES OF UNSOLVABILITY AND COMPLEXITY PROPERTIES
MARQUES, I
JOURNAL OF SYMBOLIC LOGIC, 1975, 40 (04) : 529 - 540
[36] ABBA - Agent based beaver application - Busy beaver in swarm
Perrone, A
Ferraris, G
INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2002, 2002, 2412 : 273 - 278
[37] Elementary differences between the degrees of unsolvability and degrees of compressibility
Barmpalias, George
ANNALS OF PURE AND APPLIED LOGIC, 2010, 161 (07) : 923 - 934
[38] Busy Beaver Scores and Alphabet Size
Petersen, Holger
FUNDAMENTALS OF COMPUTATION THEORY, FCT 2017, 2017, 10472 : 409 - 417
[39] COUNTABLE INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY
LACHLAN, AH
LEBEUF, R
JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 289 - 300
[40] SUBLATTICES AND INITIAL SEGMENTS OF DEGREES OF UNSOLVABILITY
THOMASON, SK
CANADIAN JOURNAL OF MATHEMATICS, 1970, 22 (03): : 569 - &

← 1 2 3 4 5 →