欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
作为半连续dcpo的推广,引入相容半连续dcpo的概念,并研究了相容半连续dcpo的性质.证明了相容半连续dcpo一定是半连续dcpo.最后研究了相容dcpo的内蕴拓扑：相容半Scott拓扑.
英文摘要：
As the generalization of semicontinuous dcpo, the concept of consistently semicontinuous dcpo is introduced, and its some basic properties are studied. It is proved that the consistently semicontinuous dcpo must be semicontinuous dcpo. Finally, the intrinsic topology of consistently dcpo that is consistently semi-Scott topology is investigated.
同期刊论文项目
同项目期刊论文
期刊信息
位置：