拟代数Domain相关论文
自从20世纪70年代D.S.Scott首次提出Domain概念以来,Domain理论受到众多数学家和理论计算机科学家的关注.1983年,作为连续Domain和广......
讨论了拟连续Domain的遗传性、不变性及映射空间.证明了拟连续Domain及拟代数Domain对开子空间和闭子空间都是可遗传的,拟连续Doma......
基于拟连续Domain的等价定义及其构造,研究了拟代数Domain的一系列性质,并且给出了它的等价刻画,由此得到拟代数Domain一定是拟连......