弗雷德里克·德·杰格;埃斯卡多,马丁;加布里埃尔·桑蒂尼 关于Lawson拓扑的计算内容。 (英语) Zbl 1107.03050号 西奥。计算。科学。 357,编号1-3230-240(2006). 审核人:Lisbeth Fajstrup(奥尔堡) MSC公司:03D45号 03层60 06B35号 54个F05 PDF格式BibTeX公司 XML格式引用 \textit{F.De Jaeger}等人,Theor。计算。科学。357,编号1--3,230-240(2006;Zbl 1107.03050) 全文: 内政部
斯普林,迪特 笛卡尔范畴中最大的闭范畴,构造性地考虑。 (英语) Zbl 1080.03032号 数学。结构。计算。科学。 15,第2期,299-321(2005).MSC公司:03D45号 06B35号 18日第15天 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Spreen},数学。结构。计算。科学。15,第2号,299--321(2005;Zbl 1080.03032) 全文: 内政部
斯普林,迪特 勘误表:“关于有效拓扑空间”。 (英语) Zbl 0967.03041号 J.塞姆。日志。 65,第4期,1917-1918(2000).MSC公司:03D45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Spreen},J.Symb。日志。65,第4号,1917--1918(2000;Zbl 0967.03041) 全文: 内政部
斯普林,迪特 关于有效拓扑空间。 (英语) Zbl 0915.03038号 J.塞姆。日志。 63,第1期,185-221(1998). 审核人:M.Zimand(阿梅里克斯) MSC公司:03D45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Spreen},J.Symb。日志。63,第1号,185--221(1998;Zbl 0915.03038) 全文: 内政部
朱塞佩·隆戈;马提尼,S。 更高类型和泛域P\(\omega\)中的可计算性。 (英语) Zbl 0583.03028号 计算机科学的理论方面。,1984年,巴黎。注释计算。科学。166, 186-197 (1984). 审核人:J.兹拉图斯卡 MSC公司:03D65年 03D45号 03C57号 03B40型 03D60年 30楼06号 PDF格式BibTeX公司 XML格式
伯恩哈德·约斯科 克拉克语言(L_4)中荷尔逻辑的表达性解释。 (英语) Zbl 0545.68021号 计算机科学的理论方面。,1984年,巴黎。注释计算。科学。166, 73-84 (1984).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式
拉森,K.G。;温斯克尔,G。 使用信息系统有效地求解递归区域方程。 (英语) Zbl 0539.68019号 数据类型语义,Proc。国际交响乐团。,Sophia-Antipolis/法国1984年,Lect。注释计算。科学。173, 109-129 (1984).MSC公司:68问题65 03D45号 PDF格式BibTeX公司 XML格式
迈克尔·B·史密斯。 最大的笛卡尔闭域范畴。 (英语) Zbl 0556.68017号 西奥。计算。科学。 27109-119(1983年). 审核人:M.Eytan先生 MSC公司:99年第68季度 18日第15天 06B23号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{M.B.Smyth},Theor。计算。科学。27109-119(1983年;Zbl 0556.68017) 全文: 内政部
Kamimura,T。;A.唐。 有效地给予空间。 (英语) Zbl 0535.03021号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 385-396 (1983). 审核人:L.伊万诺夫 MSC公司:03D45号 54A05型 54D10号 PDF格式BibTeX公司 XML格式
伯恩哈德·约斯科 一个有效的收回演算。 (英语) Zbl 0461.03010号 《理论计算机科学》,第五届GI-Conf.,Karlsruhe 1981,Lect。注释计算。科学。104, 184-194 (1981).MSC公司:03天80 68号01 68问题55 03D20日 03D45号 PDF格式BibTeX公司 XML格式