连通代数domain相关论文
自从20世纪70年代D.S.Scott首次提出Domain概念以来,Domain理论受到众多数学家和理论计算机科学家的关注.1983年,作为连续Domain和广......
基于连通集的定义,引入了c-理想的概念,得出了连通代数domain中每一个元都是相容紧元,当且仅当它的每个c-理想都是主c-理想,给出了......