一个高的钻石定理
Data(s) |
2000
|
---|---|
Identificador | |
Fonte |
李昂生; 杨东屏.一个高的钻石定理,软件学报,2000,11(1): |
Palavras-Chave | #可计算性理论 #可计算枚举度 #可计算枚举度 #Turing归约(图灵归约) #相对可计算性 #Computabilitytheory #computablyenumerableset #computablyenumerabledegree #Turingreducibility #relativecomputability |
Tipo |
期刊论文 |