沈冲;习晓勇;徐晓泉;赵东生 在开放的过滤良好的空间上。 (英语) Zbl 1509.06005号 日志。方法计算。科学。 16,第4号,第18号论文,第10页(2020年)。MSC公司:06B35号 54A20型 54D10号 54D45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Shen}等人,Log。方法计算。科学。16,第4号,第18号论文,10页(2020;Zbl 1509.06005) 全文: arXiv公司 链接
耿军;寇,惠 dcpos上的一致Hoare powerdomains。 (英语) 兹比尔1422.06003 拓扑应用程序。 232, 169-175 (2017)。MSC公司:06B35号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{J.Geng}和\textit{H.Kou},拓扑应用。232169--175(2017年;Zbl 1422.06003) 全文: 内政部
何庆余;徐,罗山;习晓勇 拓扑空间和拟连续域的一致Smyth幂域。 (英语) Zbl 1421.54007号 拓扑应用程序。 228, 327-340 (2017)。MSC公司:54B20型 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{Q.He}等人,拓扑应用。228327-340(2017;Zbl 1421.54007) 全文: 内政部
姚伟 dcpos上的格值Scott拓扑。 (英语) Zbl 1378.06006号 数学。结构。计算。科学。 27,第4期,516-529(2017)。MSC公司:06B35号 54A40型 07年6月 PDF格式BibTeX公司 XML格式引用 \textit{W.Yao},数学。结构。计算。科学。27,编号4,516--529(2017;兹bl 1378.06006) 全文: 内政部
何清宇;徐,罗山;杨凌云 偏序集的QC-continuity和QFS域的Hoare幂域。 (英语) Zbl 1329.54035号 拓扑应用程序。 197, 102-111 (2016)。 审核人:K.P.Hart(代尔夫特) MSC公司:54个F05 06B35号 06B30号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Q.He}等人,拓扑应用。197102-111(2016年;Zbl 1329.54035) 全文: 内政部
袁亚燕;寇,惠 一致的Plotkin powerdomains。 (英语) Zbl 1306.06005号 拓扑应用程序。 178, 339-344 (2014)。 审核人:Ittay Weiss(苏瓦) MSC公司:06B35号 54A35型 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{H.Kou},拓扑应用。178,339--344(2014;Zbl 1306.06005) 全文: 内政部
袁亚燕;寇,惠 一致的Hoare powerdomains。 (英语) Zbl 1306.06004号 拓扑应用程序。 178, 40-45 (2014)。 审核人:Ittay Weiss(苏瓦) MSC公司:06B35号 第54页第35页 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{H.Kou},拓扑应用。178、40-45(2014年;Zbl 1306.06004) 全文: 内政部
袁亚燕;寇,惠 一致的Smyth电源域。 (英语) Zbl 1303.06006号 拓扑应用程序。 173, 264-275 (2014)。 审核人:Ittay Weiss(苏瓦) MSC公司:06B35号 54A35型 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Yuan}和\textit{H.Kou},拓扑应用。173264--275(2014年;Zbl 1303.06006) 全文: 内政部
徐晓泉;刘英明 正则关系和严格完全正则序空间。 (英语) Zbl 1035.54017号 拓扑应用程序。 135,编号1-3,1-12(2004)。 审核人:汉斯·彼得·昆齐(Rondebosch) MSC公司:54个F05 54D15号 03E20型 10年6月 PDF格式BibTeX公司 XML格式引用 \textit{X.-Q.Xu}和\textit{Y.-M.Liu},拓扑应用。135,编号1--3,1--12(2004;Zbl 1035.54017) 全文: 内政部
莱因霍尔德·赫克曼 幂域和二阶谓词。 (英语) 兹比尔0784.68054 西奥。计算。科学。 111,编号1-2,59-88(1993)。 审核人:R.赫克曼 MSC公司:68问题55 03B50号 06A99年 06B35号 05年6月 20米25 22A26号 54B20型 54立方厘米 54D80型 PDF格式BibTeX公司 XML格式引用 \文本{R.Heckmann},Theor。计算。科学。111,编号1--2,59-88(1993;Zbl 0784.68054) 全文: 内政部