W-代数偏序集相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础.其中序与拓扑相互结合,相互作用是这一理论的基本特征.这一特征使得D......
引入了W-引代数偏序集与强W-代数偏序集的概念。讨论了W-代数偏序集、Exact偏序集以及代数偏序集的关系,证明了W-代数偏序集在保定......