弗兰克·范·布鲁格尔 重新审视De Bakker-Zucker流程。 (英语) Zbl 1078.68097号 Inf.计算。 188,第1号,68-76(2004年).MSC公司:68问题55 18 C50 54E40型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.van Breugel},信息计算。188,编号1,68--76(2004;Zbl 1078.68097) 全文: 内政部
拉尔夫·库米茨 带投影偏序集的均匀完成与理想完成。 (英语) Zbl 1264.06009号 安东尼·塞达(编辑)等,MFCSIT2000。2000年7月20日至21日,爱尔兰科克爱尔兰国立大学计算机科学和信息技术数学基础第一届爱尔兰会议论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记40,221-241(2001)。MSC公司:06B35号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{R.Kummetz},电子。注释Theor。计算。科学。40、221--241(2001年;Zbl 1264.06009) 全文: 内政部
Majster-Cederbaum,M.E.(医学博士)。;Zetzsche,F。 基于cpo的语义与基于cms的\(CSP\)语义的比较。 (英语) Zbl 0795.68125号 西奥。计算。科学。 124,第1期,第1-40页(1994年).MSC公司:68问题55 06B35号 第54页第50页 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum}和\textit{F.Zetzsche},Theor。计算。科学。124,第1号,1--40(1994;Zbl 0795.68125) 全文: 内政部
米拉·塞德尔巴姆少校。;Zetzsche,F。 为完整度量空间中的语义奠定基础。 (英语) Zbl 0773.68050号 Inf.计算。 90,第2期,217-243(1991).MSC公司:68问题55 2010年第68季度 第54页第50页 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum}和\textit{F.Zetzsche},Inf.Compute。90,第2号,217--243(1991;Zbl 0773.68050) 全文: 内政部
梅耶,J.-J.Ch。;德文克,E.P。 紧性在流的Smyth幂域中的应用。 (英语) Zbl 0652.68027号 西奥。计算。科学。 57,编号2-3,251-282(1988). 审核人:W.巴托尔 MSC公司:99年第68季度 60年第68季度 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{E.P.de Vink},Theor。计算。科学。57,编号2-3251-282(1988年;Zbl 0652.68027) 全文: 内政部