准连续Domain相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合、相互作用是这一理论的一个基本特征.正是这一......
研究了准连续Domain的积结构,子结构和商结构.给出了有界完备准连续Domain上同余关系的等价刻画.讨论了有界完备准连续Domain上稳......
目的给出准连续Domain与连续Domain的特征刻画.方法利用准连续Domain的每一点都有准定向极小集,连续Domain的每一点都有定向极小集......
