%0 Journal Article
%T rwtt/mwtt中的枝点元素(英文)
%A 张再跃？
%A 眭跃飞？
%J 软件学报
%P 441-452
%D 2000
%X 该文证明了在rwtt/mwtt中除了最大元和最小元外,每个元c是枝点元素,即为某两个大于c的元素的最大下界,其中rwtt/mwtt是递归可枚举弱真值表归约度集rwtt模可盖递归可枚举弱真值表归约度集mwtt的商.
%K 递归可枚举度
%K 弱真值表归约
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000403&flag=1