Rwtt/Mwtt中的枝点元素

• 作者: 张再跃 眭跃飞
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 递归可枚举度 弱真值表归约
• 年，卷（期）: 2000,（4）
• 页码范围: 441-446
• 页数: 6页
• 分类号: TP301
• 字数: 3286字
• 语种: 中文

摘要

该文证明了在Rwtt/Mwtt中除了最大元和最小元外,每个元c是枝点元素,即为某两个大于,的元素的最大下界,其中Rwtt/Mtww是递归可枚举弱真值表归约度集Rwtt模可盖递归可枚举弱真值表归约度Mwtt的商.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	眭跃飞	中国科学院软件研究所	35	313	9.0	17.0
2	张再跃	扬州大学工业学院计算机系	5	20	2.0	4.0