FS-domain相关论文
1969年,D.S.Scott提出了 Domain理论,旨在为计算机程序语言的指称语义提供数学基础.序、拓扑和逻辑的相互转换、相互作用是其基本......
考察了FS-domain对某些子结构和收缩核的遗传性.证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain......
引入了FS-偏序集和连续L-偏序集概念,探讨了FS-偏序集和连续L-偏序集的性质.主要结果有:(1)每一FS-偏序集都是有限上集生成的,因而......
本文证明了FS-Domain关于Plotkin幂-Domain构造是封闭的。...
介绍了有界完全Domain的相关性质, 用函数空间的研究方法证明了以Scott D S连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿......
讨论了L-连续偏序集的M性质与有限分离性质之间的关系，主要结果：（1）若P为L-连续偏序集，则P是有限上集生成，而且满足M性质当且仅当它的定......
研究了一些连续domain在幂等的连续自映射下的不动点集的性质,并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo(定向......
本文证明了在Ｌ－ｄｏｍａｉｎ条件下，连续Ｂ－ｄｏｍａｉｎ与ＦＳ－ｄｏｍａｉｎ等价，并由此得到了连续Ｂ－ｄｏｍａｉｎ的一个刻划定理。......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
