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(定向......
本文证明了在L-domain条件下,连续B-domain与FS-domain等价,并由此得到了连续B-domain的一个刻划定理。......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......