Institutional Repository
| 一个高的钻石定理 | |
| Alternative Title | a high diamond theorem |
| 李昂生; 杨东屏 | |
| 2000 | |
| Source | 软件学报
![]() |
| Volume | 11Issue:1 |
| Indexed Type | wanfang |
| Keyword | 可计算性理论 可计算枚举度 可计算枚举度 Turing归约(图灵归约) 相对可计算性 Computabilitytheory Computablyenumerableset Computablyenumerabledegree Turingreducibility Relativecomputability |
| Department | 基础软件国家工程研究中心 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3824 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | 李昂生,杨东屏. 一个高的钻石定理[J]. 软件学报,2000,11(1). |
| APA | 李昂生,&杨东屏.(2000).一个高的钻石定理.软件学报,11(1). |
| MLA | 李昂生,et al."一个高的钻石定理".软件学报 11.1(2000). |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 8.pdf(666KB) | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment