卢，京 强拟度量空间上的单子。 （英语） Zbl 1487.54043号 西奥。计算。科学。 912, 99-108 (2022)。理学硕士：54E35个 18立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{J.Lu}，Theor。计算。科学。912，99-108（2022；Zbl 1487.54043） 全文： 内政部
潘卡杰·库马尔·辛格;苏拉布希·提瓦里 粗糙半线性一致空间中的一个不动点定理。 （英语） Zbl 1477.68311号 西奥。计算。科学。 851, 111-120 (2021)。理学硕士：68层37 54E15型 54H25个 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Singh}和\textit{S.Tiwari}，Theor。计算。科学。85111-120（2021；Zbl 1477.68311） 全文： 内政部
贾拉菲·阿卜杜拉;桑塔纳，法格纳 关于“具有连续间隔的偏序集”的注释。 （英语） Zbl 1484.06027号 西奥。计算。科学。 837, 207-208 (2020)。理学硕士：06B35号 54立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Abdala}和\textit{F.Santana}，Theor。计算。科学。837207-208（2020年；兹比尔1484.06027） 全文： 内政部
Chang，Ching-Lueh先生 关于超强1-中位数选择。 （英语） Zbl 1443.68216号 西奥。计算。科学。 828-829, 65-69 (2020)。理学硕士：68周25 54E35个 68瓦20 PDF格式BibTeX公司 XML格式引用 \文本{C.-L.Chang}，Theor。计算。科学。828--829、65-69（2020年；Zbl 1443.68216） 全文： 内政部 arXiv公司
卡瓦伊、达松吉 给出了稳定紧空间的de Groot对偶性。 （英语） Zbl 1461.06003号 西奥。计算。科学。 823, 44-68 (2020)。 审核人：徐晓泉（漳州） 理学硕士：2012年2月6日 06B35号 54立方厘米 54D45号 PDF格式BibTeX公司 XML格式引用 \文本{T.Kawai}，Theor。计算。科学。823，44-68（2020；Zbl 1461.06003） 全文： 内政部 arXiv公司
Hitoshi Furusawa 关系的一致连续性和不确定性细胞自动机。 （英语） Zbl 1370.68213号 西奥。计算。科学。 673, 19-29 (2017)。理学硕士：68问题80 54E15型 PDF格式BibTeX公司 XML格式引用 \文本{H.Furusawa}，Theor。计算。科学。673、19-29（2017年；Zbl 1370.68213） 全文： 内政部
让-埃里克·品;佩德罗·席尔瓦。 关于某些有限拓扑的一致连续函数。 （英语） Zbl 1368.20072号 西奥。计算。科学。 658，A部分，246-262（2017）。 审核人：米哈伊尔·沃尔科夫（叶卡捷琳堡） 理学硕士：2007年7月20日 2015年11月20日 54E15型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-Ei.Pin}和\textit{P.V.Silva}，Theor。计算。科学。658，A部分，246--262（2017；Zbl 1368.20072） 全文： 内政部
Eleftherios的Matsikoudis;爱德华·A·李。 严格因果函数的不动点理论。 （英语） Zbl 1318.68116号 西奥。计算。科学。 574, 39-77 (2015)。理学硕士：68问题55 06B35号 54H25个 2005年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{E.Matsikoudis}和\textit{E.A.Lee}，Theor。计算。科学。574，39--77（2015；Zbl 1318.68116） 全文： 内政部
弗兰克·范·布鲁格尔;克劳迪奥·赫米达;迈克尔·麦凯;詹姆斯·沃雷尔 “没有收缩的递归定义的度量空间”的补遗。 （英语） Zbl 1294.68108号 西奥。计算。科学。 492, 117-122 (2013)。理学硕士：68问题55 68问题85 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{F.van Breugel}等人，Theor。计算。科学。492117-122（2013年；Zbl 1294.68108） 全文： 内政部
J.V.塔克。;朱克，J.I。 连续和离散时间流上算子的连续性。 （英语） Zbl 1251.68141号 西奥。计算。科学。 412，第28号，3378-3403（2011）。理学硕士：68问题55 第68季度10 54立方厘米 54时25分 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker}，Theor。计算。科学。412，第28号，3378--3403（2011；Zbl 1251.68141） 全文： 内政部
德克·范·达伦 Brouwer不动点和Sperner引理。 （英语） Zbl 1220.03051号 西奥。计算。科学。 412，第28号，3140-3144（2011）。理学硕士：03楼55 03-03 54H25个 PDF格式BibTeX公司 XML格式引用 \文本{D.van Dalen}，Theor。计算。科学。412，第28号，3140--3144（2011；Zbl 1220.03051） 全文： 内政部
戴维·里奇森;保罗·温克勒;吉姆·怀斯曼 圆的刚性旋转和微分的路线。 （英语） Zbl 1190.54026号 西奥。计算。科学。 411，第1期，259-265（2010）。 审核人：胡安·路易斯·加西亚·吉拉奥（卡塔赫纳） 理学硕士：54H20个 PDF格式BibTeX公司 XML格式引用 \textit{D.Richeson}等人，Theor。计算。科学。411，编号1259-265（2010年；兹bl 1190.54026） 全文： 内政部 arXiv公司
Hideki Tsuiki;靖国服都 形式球空间的劳森拓扑和双曲拓扑。 （英语） 兹比尔1151.54024 西奥。计算。科学。 405，编号1-2，198-205（2008）。 审核人：汉斯·彼得·昆齐（Rondebosch） 理学硕士：54E35个 PDF格式BibTeX公司 XML格式引用 \textit{H.Tsuiki}和\textit{Y.Hattori}，Theor。计算。科学。405，编号1--2，198-205（2008；Zbl 1151.54024） 全文： 内政部
苏马提·苏里亚 因果集拓扑。 （英语） Zbl 1151.83352号 西奥。计算。科学。 405，编号1-2188-197（2008）。理学硕士：83D05号 83立方厘米 06B35号 54H20个 PDF格式BibTeX公司 XML格式引用 \文本{S.Surya}，Theor。计算。科学。405，编号1--2，188-197（2008；Zbl 1151.83352） 全文： 内政部 arXiv公司
约瑟夫·什拉帕尔 商-通用数字拓扑。 （英语） Zbl 1155.54015号 西奥。计算。科学。 405，编号1-2，164-175（2008）。 审核人：理查德·威尔逊（墨西哥） 理学硕士：54D05型 68卢比99 68单位10 PDF格式BibTeX公司 XML格式引用 \文本{J.Šlapal}，Theor。计算。科学。405，编号1--2，164-175（2008；Zbl 1155.54015） 全文： 内政部
凯·马丁 信息论中的拓扑。 （英语） 兹比尔1207.94040 西奥。计算。科学。 405，编号1-2，75-87（2008）。理学硕士：94甲15 54小时99 94A24型 PDF格式BibTeX公司 XML格式引用 \textit{K.Martin}，Theor。计算。科学。405，编号1--2，75-87（2008；Zbl 1207.94040） 全文： 内政部
杰米·劳森。 度量空间和\（FS\）-域。 （英语） 兹比尔1148.54012 西奥。计算。科学。 405，编号1-2，73-74（2008）。理学硕士：54E35个 06B30号 PDF格式BibTeX公司 XML格式引用 \文本{J.D.Lawson}，Theor。计算。科学。405，编号1--2，73-74（2008；Zbl 1148.54012） 全文： 内政部
汉斯·佩特·A·Künzi。;弗拉基克·克里诺维奇 静态时空自然会导致准伪计量。 （英语） Zbl 1151.54030号 西奥。计算。科学。 405，编号1-2，64-72（2008）。 审核人：Hans-Jürgen Schmidt（波茨坦） 理学硕士：54甲15 83A05号 PDF格式BibTeX公司 XML格式引用 \textit{H.-P.A.Künzi}和\textit{V.Kreinovich}，Theor。计算。科学。405，编号1--2，64-72（2008；Zbl 1151.54030） 全文： 内政部
黄方平;梁继华 关于拓扑空间的计算环境。 （英语） Zbl 1156.54016号 西奥。计算。科学。 405，编号1-2，35-40（2008）。 审核人：汉斯·彼得·昆齐（Rondebosch） 理学硕士：54个F05 06B35号 68问题55 54天35分 PDF格式BibTeX公司 XML格式引用 \textit{F.Huang}和\textit{J.Liang}，Theor。计算。科学。405，编号1--2，35-40（2008；Zbl 1156.54016） 全文： 内政部
弗朗西斯科·西罗洛;乔瓦尼·桑宾 有限形式拓扑和Stone表示定理。 （英语） Zbl 1187.54010号 西奥。计算。科学。 405，编号1-2，11-23（2008）。理学硕士：54A99号 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}和\textit{G.Sambin}，Theor。计算。科学。405，编号1--2，11--23（2008；Zbl 1187.54010） 全文： 内政部
道格拉斯·布里奇斯;石原、Hajime;彼得·M·舒斯特。;鲁米尼·V· 简洁、紧凑、贴近。 （英语） Zbl 1156.54013号 西奥。计算。科学。 405，编号1-2，3-10（2008）。 审核人：汉内斯·迪纳（基督城） 理学硕士：54E17号 65楼03号 54E05型 54E15型 PDF格式BibTeX公司 XML格式引用 \textit｛D.Bridges｝等人，Theor。计算。科学。405，编号1--2，3--10（2008；Zbl 1156.54013） 全文： 内政部
Kopperman，R。（编辑）;帕南加登，P。（编辑）;医学博士Smyth。（编辑）;斯普林，D。（编辑） 特刊：基于达格斯图尔空间、时间和因果关系建模计算结构研讨会的论文，达格斯图城堡，德国，2006年8月。 （英语） Zbl 1200.54001号 西奥。计算。科学。405，第1-2号，1-208（2008）。 理学硕士：54-06 94-06 68-06 00B25型 PDF格式BibTeX公司 XML格式
弗兰克·范·布鲁格尔;克劳迪奥·赫米达;迈克尔·麦凯;詹姆斯·沃雷尔 没有收缩的递归定义的度量空间。 （英语） Zbl 1118.68085号 西奥。计算。科学。 380，编号1-2，143-163（2007）; 增编同上，第492、117–122页（2013年）。理学硕士：68问题55 68问题85 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{F.van Breugel}等人，Theor。计算。科学。380，编号1--2，143-163（2007；Zbl 1118.68085） 全文： 内政部
马库斯·科洛奇 定量域理论中的广义超度量空间。 （英语） Zbl 1171.68542号 西奥。计算。科学。 368，编号1-2，30-49（2006）。理学硕士：68问题55 06B35号 54E35个 PDF格式BibTeX公司 XML格式引用 \文本{M.Krötzsch}，Theor。计算。科学。368，编号1--2，30--49（2006；Zbl 1171.68542） 全文： 内政部
阿库尼亚，维森特;迪迪埃，吉尔;亚历杭德罗·马斯 使用可变块映射进行编码。 （英语） Zbl 1110.54020号 西奥。计算。科学。 369，编号1-3，396-405（2006）。 审核人：卢维克·贾诺什（克莱蒙特） 理学硕士：54H20个 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Acuña}等人，Theor。计算。科学。369，编号1-396-405（2006年；兹bl 1110.54020） 全文： 内政部
维克托·塞利瓦诺夫。 面向类domain结构的描述性集合理论。 （英语） Zbl 1108.03050号 西奥。计算。科学。 365，第3期，258-282（2006）。 审核人：米罗斯拉夫·雷皮克（科希策） 理学硕士：03E15年 05年5月54日 06B35号 03D45号 68问题85 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{V.L.Selivanov}，Theor。计算。科学。365，第3号，258--282（2006；Zbl 1108.03050） 全文： 内政部
Künzi，H.-PA。;Pajoohesh，H。;谢列肯斯，M.P。 部分准度量。 （英语） Zbl 1109.54021号 西奥。计算。科学。 365，第3期，237-246（2006）。 审核人：H.Brandenburg（柏林） 理学硕士：54E35个 54时25分 PDF格式BibTeX公司 XML格式引用 \文本{H.P.A.Künzi}等人，Theor。计算。科学。365，第3号，237--246（2006；Zbl 1109.54021） 全文： 内政部
阿兰·布雷托;阿兰·费桑特;蒂埃里·瓦莱 图上的兼容拓扑：图同构问题复杂性的应用。 （英语） Zbl 1101.68065号 西奥。计算。科学。 362，编号1-3255-272（2006）。理学硕士：68升10 05年10月 05C60型 54A99号 65年第68季度 68单位05 68单位10 PDF格式BibTeX公司 XML格式引用 \textit{A.Bretto}等人，Theor。计算。科学。362，编号1--3，255-272（2006；Zbl 1101.68065） 全文： 内政部
弗雷德里克·德·杰格;马丁·埃斯卡多;加布里埃尔·桑蒂尼 关于Lawson拓扑的计算内容。 （英语） Zbl 1107.03050号 西奥。计算。科学。 357，编号1-3，230-240（2006）。 审核人：Lisbeth Fajstrup（奥尔堡） 理学硕士：03D45号 03层60 06B35号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{F.De Jaeger}等人，Theor。计算。科学。357，编号1--3，230-240（2006；Zbl 1107.03050） 全文： 内政部
谢列肯斯，M.P。 部分度量和半估值之间的对应关系。 （英语） Zbl 1052.54026号 西奥。计算。科学。 315，第1期，135-149（2004）。 审核人：汉斯·彼得·昆齐（Rondebosch） 理学硕士：54E35个 54E15型 68问题55 2012年1月6日 06B35号 PDF格式BibTeX公司 XML格式引用 \文本{M.P.Schellekens}，Theor。计算。科学。315，编号1，135--149（2004；Zbl 1052.54026） 全文： 内政部
维克斯，S.J。;汤森，C.F。 双电力线的通用特征。 （英语） Zbl 1047.06006号 西奥。计算。科学。 316，编号1-3，297-321（2004）。理学硕士：2012年2月6日 54B20型 54立方厘米 54立方厘米 03楼55 06B35号 18层20 18对25 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Vickers}和\textit{C.F.Townsend}，Theor。计算。科学。316，编号1--3，297--321（2004；Zbl 1047.06006） 全文： 内政部 链接
史蒂文·维克斯 用于稳定的局部紧凑区域设置的包含系统。 （英语） Zbl 1047.06007号 西奥。计算。科学。 316，编号1-3，259-296（2004）。理学硕士：2012年2月6日 54D45号 03楼55 03B70号 54立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{S.维克斯}，Theor。计算。科学。316，编号1--3，259--296（2004；Zbl 1047.06007） 全文： 内政部 链接
汤森，C.F。 通过定向完整偏序集显示区域设置回调。 （英语） Zbl 1048.18003号 西奥。计算。科学。 316，编号1-3，225-258（2004）。 审核人：彼得·约翰斯通（剑桥） 理学硕士：18对25 06B35号 2012年2月6日 18A30型 18D20天 54D10号 PDF格式BibTeX公司 XML格式引用 \文本{C.F.Townsend}，Theor。计算。科学。316，编号1--3225-258（2004；Zbl 1048.18003） 全文： 内政部
M.Andrew Moshier 论紧致规律与根岑割法则的关系。 （英语） Zbl 1058.03081号 西奥。计算。科学。 316，编号1-3，113-136（2004）。 审核人：保罗·班克斯顿（密尔沃基） 理学硕士：03G30型 05年3月 2012年2月6日 54D10号 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Moshier}，Theor（西奥）。计算。科学。316，编号1-3113-136（2004年；Zbl 1058.03081） 全文： 内政部
杰米·劳森。;Xu，罗山 具有连续间隔的姿势。 （英语） Zbl 1052.06005号 西奥。计算。科学。 316，编号1-3，89-103（2004）。 审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺） 理学硕士：06B35号 54立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Lawson}和\textit{L.Xu}，Theor。计算。科学。316，编号1--3，89-103（2004；Zbl 1052.06005） 全文： 内政部 链接
杰米·劳森。 幂等分析与连续半格。 （英语） Zbl 1052.06004号 西奥。计算。科学。 316，编号1-3，75-87（2004）。 审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺） 理学硕士：06B35号 54立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{J.D.Lawson}，Theor。计算。科学。316，编号1--3，75-87（2004；Zbl 1052.06004） 全文： 内政部 链接
R.科珀曼。（编辑）;史密斯，M.B。（编辑）;斯普林，D。（编辑） 特刊：达格斯图尔计算机科学拓扑研讨会论文集：建构性、不对称性和偏爱性、数字化、SchloßDagstuhl，Wadern，德国，2000年6月4日至9日。 （英语） Zbl 1039.68504号 西奥。计算。科学。 305，编号1-3503第（2003）页。理学硕士：68-06 54-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Kopperman}（编辑）等人，Theor。计算。科学。305，第1--3号，503页（2003；Zbl 1039.68504） 全文： 内政部
Vţ，L.S。;布里奇斯，D.S。 点集贴近度的建设性理论。 （英语） 兹比尔1052.54023 西奥。计算。科学。 305，编号1-3，473-489（2003）。 审核人：阿尔科斯·萨萨尔（布达佩斯） 理学硕士：54E17号 54E05型 03层60 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Vţ\355}和\textit{D.S.Bridges}，Theor。计算。科学。305，编号1-3473-489（2003年；兹bl 1052.54023） 全文： 内政部
彼得·M·舒斯特。 唯一存在、近似解和可数选择。 （英语） Zbl 1050.03042号 西奥。计算。科学。 305，编号1-3，433-455（2003）。 审核人：安东·塞泽尔（斯旺西） 理学硕士：03层60 03E25型 26E40型 26甲15 26A48号 26页51 54D05型 54E35个 PDF格式BibTeX公司 XML格式引用 \文本{P.M.Schuster}，Theor。计算。科学。305，编号1--3，433--455（2003；Zbl 1050.03042） 全文： 内政部
谢列肯斯，M.P。 部分可度量性的特征：域是可量化的。 （英语） 兹比尔1043.54011 西奥。计算。科学。 305，编号1-3，409-432（2003）。 审核人：H.Brandenburg（柏林） 理学硕士：54E15型 54E35个 2012年1月6日 06B35号 PDF格式BibTeX公司 XML格式引用 \文本{M.P.Schellekens}，Theor。计算。科学。305，编号1--3，409--432（2003；Zbl 1043.54011） 全文： 内政部
乔瓦尼·桑宾 形式拓扑中的一些点。 （英语） Zbl 1044.54001号 西奥。计算。科学。 305，编号1-3，347-408（2003）。 审核人：彼得·约翰斯通（剑桥） 理学硕士：54A05型 03A05号 65楼03号 PDF格式BibTeX公司 XML格式引用 \文本{G.Sambin}，Theor。计算。科学。305，编号1--3，347--408（2003；Zbl 1044.54001） 全文： 内政部
凯·马丁 基于可数模型的正则空间。 （英语） 兹比尔1053.54037 西奥。计算。科学。 305，编号1-3，299-310（2003）。 审核人：保罗·班克斯顿（密尔沃基） 理学硕士：54E50型 03E75型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Martin}，Theor。计算。科学。305，编号1--3，299--310（2003；Zbl 1053.54037） 全文： 内政部
凯·马丁 空间的理想模型。 （英语） Zbl 1044.54005号 西奥。计算。科学。 305，编号1-3，277-297（2003）。 审核人：彼得·约翰斯通（剑桥） 理学硕士：54B99号 54层65 06B30号 54E35个 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Martin}，Theor。计算。科学。305，编号1--3，277--297（2003；Zbl 1044.54005） 全文： 内政部
拉尔夫·库米茨;迪特里赫·库斯克 Mazurkiewicz痕迹的拓扑结构。 （英语） Zbl 1100.68590号 西奥。计算。科学。 305，编号1-3，237-258（2003）。理学硕士：68问题85 54小时99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kummetz}和\textit{D.Kuske}，Theor。计算。科学。305，编号1-3237-258（2003年；兹bl 1100.68590） 全文： 内政部
莱因霍尔德·赫克曼 将dcpos视为收敛空间的非拓扑视图。 （英语） 兹比尔1053.54018 西奥。计算。科学。 305，编号1-3，159-186（2003）。 审核人：霍斯特·赫利奇（不来梅） 理学硕士：54立方厘米 06B35号 54级05 PDF格式BibTeX公司 XML格式引用 \文本{R.Heckmann}，Theor。计算。科学。305，编号1--3，159--186（2003；Zbl 1053.54018） 全文： 内政部
安东尼·高尔顿 离散空间中运动的广义拓扑视图。 （英语） Zbl 1105.68103号 西奥。计算。科学。 305，编号1-3，111-134（2003）。理学硕士：68立方英尺 54A99号 68单位10 PDF格式BibTeX公司 XML格式引用 \提奥，textit{A.高尔顿}。计算。科学。305，编号1--3，111-134（2003；Zbl 1105.68103） 全文： 内政部
乔瓦尼·居里 无点拓扑中的构造度量性。 （英语） Zbl 1045.54002号 西奥。计算。科学。 305，编号1-3，85-109（2003）。 审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺） 理学硕士：54A05型 54E35个 03层60 PDF格式BibTeX公司 XML格式引用 \文本{G.居里}，Theor。计算。科学。305，编号1--3，85-109（2003；Zbl 1045.54002） 全文： 内政部
可口、蒂埃里;张国强 稳定紧空间和补丁拓扑的表示。 （英语） 兹比尔1049.54027 西奥。计算。科学。 305，编号1-3，77-84（2003）。 审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺） 理学硕士：54D20个 03层60 65楼03号 54A05型 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}和\textit{G.-Q.Zhang}，Theor。计算。科学。305，编号1--3，77-84（2003；Zbl 1049.54027） 全文： 内政部
瓦斯科·布拉特卡;热罗出版社 度量空间子集的可计算性。 （英语） Zbl 1071.03027号 西奥。计算。科学。 305，编号1-3，43-76（2003）。理学硕士：03D45号 03层60 54E35个 54B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{G.Presser}，Theor。计算。科学。305，编号1--3，43-76（2003；Zbl 1071.03027） 全文： 内政部
瓦斯科·布拉特卡 递归拟度量空间。 （英语） Zbl 1071.03026号 西奥。计算。科学。 305，编号1-3，17-42（2003）。理学硕士：03D45号 03层60 54E35个 54B20型 PDF格式BibTeX公司 XML格式引用 \文本{V.Brattka}，Theor。计算。科学。305，第1-3、17-42号（2003年；Zbl 1071.03026） 全文： 内政部
巴勃罗·达特内尔;亚历杭德罗·马斯;费尔南多·施瓦茨 与单侧细胞自动机动力学相关的组合结构。 （英语） Zbl 1044.68112号 西奥。计算。科学。 304，编号1-3，485-497（2003）。理学硕士：68问题80 37B99型 37埃克斯 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{P.Dartnell}等人，Theor。计算。科学。304，编号1--3，485--497（2003；Zbl 1044.68112） 全文： 内政部
欧内斯特·马内斯。 拉紧单子和（T0）-空格。 （英语） Zbl 1033.18001号 西奥。计算。科学。 275，编号1-2，79-109（2002）。 审核人：基·罗西克（布尔诺） 理学硕士：18立方厘米 68甲18 18B30型 54立方厘米 54D10号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Manes}，Theor（西奥）。计算。科学。275，编号1--2，79-109（2002；Zbl 1033.18001） 全文： 内政部
布鲁斯·S·伯迪克。 关于某些拓扑空间的迭代对偶的注记。 （英语） Zbl 1030.54006号 西奥。计算。科学。 275，第1-2号，第69-77号（2002年）。 审核人：A.A.Ivanov（圣彼得堡） 理学硕士：54B17号机组 54E55型 54B20型 54B99号 54天30分 54A10号 PDF格式BibTeX公司 XML格式引用 \文本{B.S.伯迪克}，Theor。计算。科学。275，编号1--2，69-77（2002；Zbl 1030.54006） 全文： 内政部
昆齐，H.P。;谢列肯斯，M.P。 关于拟度量空间的Yoneda完备。 （英语） Zbl 1025.54014号 西奥。计算。科学。 278，第1-2号，159-194（2002）。 审核人：J.D.Lawson（巴吞鲁日） 理学硕士：54天35分 68问题55 54E35个 54E50型 54立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.P.Künzi}和\textit{M.P.Schellekens}，Theor。计算。科学。278，编号1--2159-194（2002；Zbl 1025.54014） 全文： 内政部
胡洪德;安德烈·乔亚尔 类别的一致性完成。 （英语） Zbl 0974.03052号 西奥。计算。科学。 227，编号1-2，153-184（1999）。 审核人：S.V.Solov'ev（图卢兹） 理学硕士：03楼52 18A35型 03G30型 54立方厘米 18D20天 PDF格式BibTeX公司 XML格式引用 \textit{H.Hu}和\textit{A.Joyal}，Theor。计算。科学。227，编号1--2，153-184（1999；Zbl 0974.03052） 全文： 内政部
于尔肖夫。L。 在\（d\）-空格上。 （英语） Zbl 0976.54015号 西奥。计算。科学。 224，编号1-2，59-72（1999）。理学硕士：54立方厘米 68问题55 54B35型 54D10号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.L.Ershov}，Theor。计算。科学。224，编号1--2，59-72（1999；Zbl 0976.54015） 全文： 内政部
阿巴斯·埃达拉特;赫克曼，莱因霍尔德 度量空间的计算模型。 （英语） Zbl 1011.54026号 西奥。计算。科学。 193，第1-2、53-73号（1998年）。理学硕士：54E35个 06B35号 54个F05 28立方厘米 54E40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Edalat}和\textit{R.Heckmann}，Theor。计算。科学。193，编号1--2，53-73（1998；Zbl 1011.54026） 全文： 内政部
M.M.邦桑格。;范·布鲁格尔（F.van Breugel）。;J.J.M.M.鲁顿。 广义度量空间：通过Yoneda嵌入的完成、拓扑和幂域。 （英语） Zbl 0997.54042号 西奥。计算。科学。 193，第1-2、1-51号（1998年）。理学硕士：54E35个 54立方厘米 54天35分 18B30型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人，Theor。计算。科学。193，编号1--2，1--51（1998；Zbl 0997.54042） 全文： 内政部
金·里特·瓦格纳 在\（\Omega\）-类别中的Liminf收敛。 （英语） Zbl 0935.18008号 西奥。计算。科学。 184，编号1-2，61-104（1997）。理学硕士：18D20天 68问题55 18B35型 2007年6月 54A20型 54立方厘米 18 C50 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Wagner}，Theor（西奥）。计算。科学。184，编号1--2，61-104（1997；Zbl 0935.18008） 全文： 内政部
J.J.M.M.鲁顿。 广义超度量域理论的元素。 （英语） Zbl 0874.68189号 西奥。计算。科学。 170，第1-2号，349-381（1996）。理学硕士：68问题55 54A20型 54E35个 54立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{J.J.M.M.Rutten}，Theor。计算。科学。170，编号1--2，349--381（1996；Zbl 0874.68189） 全文： 内政部
德克斯特·科赞 有理空格和设置约束。 （英语） Zbl 0874.68212号 西奥。计算。科学。 167，第1-2号，73-94（1996）。理学硕士：68问题55 03B70号 54层99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Kozen}，Theor。计算。科学。167，编号1-2，73-94（1996年；Zbl 0874.68212） 全文： 内政部
Sirvent，Víctor F。 与Rauzy置换相关的动力学系统之间的关系。 （英语） Zbl 0873.58030号 西奥。计算。科学。 164，编号1-2，41-57（1996）。理学硕士：37E99型 37K35型 37A99型 54H20个 2005年10月28日 PDF格式BibTeX公司 XML格式引用 \文本｛V.F.Sirvent｝，Theor。计算。科学。164，编号1--2，41-57（1996；Zbl 0873.58030） 全文： 内政部
菲利普·苏恩德豪夫 实数的忠实计算模型。 （英语） Zbl 0872.03032号 西奥。计算。科学。 151，第1期，277-294（1995）。理学硕士：第三天65 03层60 54E15型 PDF格式BibTeX公司 XML格式引用 \文本{P.Sünderhauf}，Theor。计算。科学。151，编号1，277--294（1995；Zbl 0872.03032） 全文： 内政部
医学博士Smyth。 半度量、闭包空间和数字拓扑。 （英语） Zbl 0872.54003号 西奥。计算。科学。 151，第1期，257-276（1995）。理学硕士：54A05型 68单位05 68问题55 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{M.B.Smyth}，Theor。计算。科学。151，编号1，257--276（1995；Zbl 0872.54003） 全文： 内政部
马修斯，S.G。 延迟数据流死锁的扩展处理。 （英语） 兹伯利0872.68110 西奥。计算。科学。 151，第1期，195-205（1995）。理学硕士：60年第68季度 68问题55 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Matthews}，Theor（西奥）。计算。科学。151，第1号，195--205（1995；Zbl 0872.68110） 全文： 内政部
马塞洛·M·邦桑格。;巴特·雅各布斯;Joost N.角。 清醒空间之外的对偶：拓扑空间和观察框架。 （英语） Zbl 0872.06011号 西奥。计算。科学。 151，编号1，79-124（1995）。理学硕士：06时30分 03G10年 54A05型 54立方厘米 68问题55 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人，Theor。计算。科学。151，编号1，79--124（1995；Zbl 0872.06011） 全文： 内政部 链接
安德烈·阿诺德 有理语言的拓扑性质。 （英语） Zbl 0872.68084号 西奥。计算。科学。 151，第1期，第29-36页（1995年）。理学硕士：65年第68季度 05年5月54日 PDF格式BibTeX公司 XML格式引用 \文本{A.Arnold}，Theor。计算。科学。151，编号1，29--36（1995；Zbl 0872.68084） 全文： 内政部
Cederbaum少校，M.E。;Zetzsche，F。 基于cpo的语义与基于cms的\（CSP\）语义的比较。 （英语） Zbl 0795.68125号 西奥。计算。科学。 124，编号1，1-40（1994）。理学硕士：68问题55 06B35号 54E50型 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Majster-Cederbaum}和\textit{F.Zetzsche}，Theor。计算。科学。124，第1号，1--40（1994；Zbl 0795.68125） 全文： 内政部
叶向东 区间映射的唯一遍历子系统的共存性。 （英语） 兹伯利0796.58029 西奥。计算。科学。 123，第1期，167-181（1994）。 审核人：M.Sears（约翰内斯堡） 理学硕士：37A99型 37B99型 54H20个 68卢比99 PDF格式BibTeX公司 XML格式引用 \textit{X.Ye}，Theor。计算。科学。123，No.1，167--181（1994；Zbl 0796.58029） 全文： 内政部
莱因霍尔德·赫克曼 幂域和二阶谓词。 （英语） Zbl 0784.68054号 西奥。计算。科学。 111，编号1-2，59-88（1993）。 审核人：R.赫克曼 理学硕士：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） 全文： 内政部
弗朗索瓦·拉马克 稳定域是广义拓扑空间。 （英语） Zbl 0806.06015号 西奥。计算。科学。 111，编号1-2，103-123（1993）。理学硕士：30楼06号 68问题55 54A05型 6月20日 PDF格式BibTeX公司 XML格式引用 \文本{F.Lamarche}，Theor。计算。科学。111，编号1--2，103-123（1993；Zbl 0806.06015） 全文： 内政部
史蒂文·维克斯 连续偏序集的信息系统。 （英语） Zbl 0779.06006号 西奥。计算。科学。 114，第2期，201-229（1993）。理学硕士：06B35号 68问题55 54A05型 PDF格式BibTeX公司 XML格式引用 \文本{S.维克斯}，Theor。计算。科学。114，第2号，201--229（1993；Zbl 0779.06006） 全文： 内政部
斯库奇恩斯基 在正则树集合类中，Borel层次是无限的。 （英语） Zbl 0771.68077号 西奥。计算。科学。 112，No.2，413-418（1993）。理学硕士：65年第68季度 03E15年 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{J.斯库奇滑雪}，Theor。计算。科学。112，No.2，413--418（1993；Zbl 0771.68077） 全文： 内政部
张国强 稳定的社区。 （英语） 兹比尔0771.68085 西奥。计算。科学。 93，第1期，143-157（1992）。理学硕士：68问题55 03G30型 18对25 18B30型 54立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.张}，Theor。计算。科学。93，第1号，143--157（1992；Zbl 0771.68085） 全文： 内政部
英格·贝斯克 相干空间是非极化的。 （英语） Zbl 0742.68048号 西奥。计算。科学。 85，第2期，353-357（1991）。 审核人：W.Tholen（Downview） 理学硕士：68升10 54A99号 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \文本{I.Bethke}，Theor。计算。科学。85，编号2，353--357（1991；Zbl 0742.68048） 全文： 内政部
凯瑟琳·佩特乌德 特殊系统熵拓扑。 （法语） Zbl 0678.68071号 西奥。计算。科学。 67，第1期，121-128（1989）。理学硕士：65年第68季度 28天20分 54H20个 28日第10天 2005年10月28日 37A99型 PDF格式BibTeX公司 XML格式引用 \文本{C.Pétuaud}，Theor。计算。科学。67，编号121-128（1989；兹bl 0678.68071） 全文： 内政部
梅耶，J.-J.Ch。;德文克，E.P。 紧性在流的Smyth幂域中的应用。 （英语） Zbl 0652.68027号 西奥。计算。科学。 57，编号2-3，251-282（1988）。 审核人：W.巴托尔 理学硕士：99年第68季度 60年第68季度 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Ch.Meyer}和\textit{E.P.de Vink}，Theor。计算。科学。57，编号2--3，251--282（1988；Zbl 0652.68027） 全文： 内政部
Redziejowski，Roman R。 无限字语言和连续映射。 （英语） Zbl 0602.68059号 西奥。计算。科学。 43, 59-79 (1986)。 审核人：G.奥曼 理学硕士：65年第68季度 54小时99 PDF格式BibTeX公司 XML格式引用 \textit{R.R.Redziejowski}，Theor。计算。科学。43、59--79（1986年；Zbl 0602.68059） 全文： 内政部
F.布兰查德。;Hansel，G。 鳕鱼系统。（编码系统）。 （法语） Zbl 0601.68056号 西奥。计算。科学。 44, 17-49 (1986)。理学硕士：65年第68季度 54H20个 37A99型 PDF格式BibTeX公司 XML格式引用 \textit{F.Blanchard}和\textit{G.Hansel}，Theor。计算。科学。44，17-49（1986年；兹bl 0601.68056） 全文： 内政部
弗朗西斯科·帕里西·普雷西奇 迭代因子代数和诱导度量。 （英语） Zbl 0534.68012号 西奥。计算。科学。 28, 287-298 (1984)。 审核人：S.布鲁姆 理学硕士：68号01 68问题55 18立方厘米 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{F.Parisi-Prescce}，Theor（西奥）。计算。科学。28、287--298（1984年；Zbl 0534.68012） 全文： 内政部
Weihrauch，K。;乌尔里希·施赖伯 在CPO中嵌入度量空间。 （英语） Zbl 0485.68040号 西奥。计算。科学。 16, 5-24 (1981)。理学硕士：03D60年 06B23号 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{K.Weihrauch}和\textit{U.Schreiber}，Theor。计算。科学。16、5--24（1981年；Zbl 0485.68040） 全文： 内政部