%0 Journal Article
%T 一个高的钻石定理
%A 李昂生？
%A 杨东屏？
%J 软件学报
%P 23-39
%D 2000
%X 证明存在一个保持最大元1的可计算枚举高度的钻石格.
%K 可计算性理论
%K 可计算枚举度
%K 可计算枚举度
%K turing归约(图灵归约)
%K 相对可计算性.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000103&flag=1