| Rwtt/ Mwtt中的枝点元素 |
| |
| 引用本文： | 张再跃,眭跃飞. Rwtt/ Mwtt中的枝点元素[J]. 软件学报, 2000, 11(4): 441-452 |
| |
| 作者姓名： | 张再跃 眭跃飞 |
| |
| 作者单位： | 扬州大学工业学院计算机系,扬州,225009; 中国科学院软件研究所,北京,100080;扬州大学工业学院计算机系,扬州,225009; 中国科学院软件研究所,北京,100080 |
| |
| 基金项目： | This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ;;No.6-96-730-17) |
| |
| 摘 要： | 该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商.
|
| 关 键 词： | 递归可枚举度 弱真值表归约 |
| 收稿时间： | 1998-07-03 |
| 修稿时间： | 1998-12-15 |
Branching Elements in Rwtt/M wtt |
| |
| ZHANG Zai yue and SUI Yue fei. Branching Elements in Rwtt/M wtt[J]. Journal of Software, 2000, 11(4): 441-452 |
| |
| Authors: | ZHANG Zai yue and SUI Yue fei |
| |
| Abstract: | |
| |
| Keywords: | Recursively enumerable degree weak truth table reduction |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
