性质M 相关硕士博士期刊学术论文 - 搜论网

性质M相关论文

Scott闭集格的C-代数性及其应用

引入了拟C-连续偏序集的概念，利用拟C-连续性证明了dcpo L是拟连续的当且仅当L上的Scott闭集格是拟连续格．证明了满足性质M的dcpo上......

期刊

拟C-连续性 C-代数格性质M SCOTT拓扑 Sober 间 quasi C-continuity C-algebraic lattice proper

Domain的信息系统表示和多种广义Domain的研究

Domain理论是理论计算机科学的一个重要研究领域.序,拓扑,逼近与逻辑的相互转化、相互渗透是这一理论的基本特征Domain理论在自身......

学位

信息系统 B-domain 拟连续domain Scott拓扑拟C-连续偏序集 C-代数格性质M QFS-domain Hoare幂 Smyth幂半连续格

看过本文同时还关注