期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
R-偏序集上的cpo,代数cpo与连续cpo 被引量：1
1
作者 武利刚 樊磊 高泾萍 《数学杂志》 CSCD 北大核心 2010年第5期871-876,共6页
本文研究了若干结构在R-偏序集上的保持性.利用例子说明了R-偏序集所带的偏序族在逼近某个偏序时未必保持cpo,代数cpo或连续cpo等结构,并给出了使得代数cpo和连续cpo结构得以保持的充分条件.
关键词 R-偏序集 cpo 代数cpo 连续cpo
下载PDF
Domain投射空间的连续性 被引量：1
2
作者 寇辉 刘应明 《数学年刊（A辑）》 CSCD 北大核心 2000年第5期579-584,共6页
本文研究了Ｄｏｍａｉｎ理论中投射空间的性质．其主要结果是；若连续ｃｐｏＤ的投射空间是连续的，则 Ｄ必是代数 Ｄｏｍａｉｎ．进一步，若连续 ｃｐｏ Ｄ具有性质ｍ则其投射空间是连续 ｃｐｏ当且仅当Ｄ是代数Ｄｏｍａｉｎ并且所有... 本文研究了Ｄｏｍａｉｎ理论中投射空间的性质．其主要结果是；若连续ｃｐｏＤ的投射空间是连续的，则 Ｄ必是代数 Ｄｏｍａｉｎ．进一步，若连续 ｃｐｏ Ｄ具有性质ｍ则其投射空间是连续 ｃｐｏ当且仅当Ｄ是代数Ｄｏｍａｉｎ并且所有由紧元构成的序稠链是单点集． 展开更多
关键词 连续cpo 代数DOMAIN 投射空间 序稠链 连续性
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部