Cσ-unique Dcpos and Non-maximality of the Class of Dominated Dcpos Regarding Γ-faithfulness
发布时间:2021-04-09 点击次数:
所属单位:数学科学学院
发表刊物:Electronic Notes in Theoretical Computer Science
合写作者:赵东升
第一作者:徐罗山
论文类型:基础研究
卷号:第345卷
页面范围:249-260
是否译文:否
发布时间:2021-04-09 点击次数:
所属单位:数学科学学院
发表刊物:Electronic Notes in Theoretical Computer Science
合写作者:赵东升
第一作者:徐罗山
论文类型:基础研究
卷号:第345卷
页面范围:249-260
是否译文:否