期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
上邻及弱上邻 被引量:2
1
作者 王娣 卢涛 《天津师范大学学报(自然科学版)》 CAS 2016年第5期17-19,共3页
首先给出了弱完全交既约元、余dcpo及way-up的概念;然后结合way-up关系和新的辅助关系定义了弱上邻的概念;最后,借助弱完全交既约元讨论了上邻及弱上邻在交半格、完备格及余dcpo不同背景下的性质.
关键词 way-up 弱完全交既约元 余dcpo 弱上邻 插入关系
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部