Jan A.Bergstra。;阿尔班·蓬塞 基于注册表的进程。 (英语) Zbl 1323.68401号 J.ACM公司 48,第6期,1207-1241(2001).MSC公司:68问题85 03B25号 03B70号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{A.Ponse},J.ACM 48,第6期,1207--1241(2001;Zbl 1323.68401) 全文: 内政部
阿瑟·W·阿普特。 以超能力扩张(卡帕)的力量。 (英语) Zbl 1069.03042号 半径材料。 10,第2期,149-156(2001).MSC公司:03E35号 03E55型 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Apter},Rad.Mat.10,No.2,149--156(2001;Zbl 1069.03042)
M.N.贝扎尼什维利。 Hao Wang的偏谓词演算及其允许蕴涵迭代的扩展。 (俄语。英文摘要) Zbl 1031.03053号 Karpenko,A.S.(编辑),《逻辑研究》。8.2001年5月在俄罗斯莫斯科举行的第三届国际会议《斯米尔诺夫的读物》的论文。莫斯科:瑙卡。26-37 (2001).MSC公司:03B60号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Bezhanishvili},in:罗切斯基issledovaniya。8.莫斯科:瑙卡。26-37(2001年;兹bl 1031.03053)
卡洛斯·阿雷塞斯;维罗尼卡·贝彻 可重复AGM功能。 (英语) Zbl 1014.03018号 Williams,Mary Anne(编辑)等人,《信仰修正的前沿》。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。22, 261-277 (2001). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}和\textit{V.Becher},应用。日志。序列号。22261--277(2001;Zbl 1014.03018)
安德烈·罗斯·阿诺夫斯基;萨拉、撒哈拉 迭代\(\lambda\)-完全强制概念不折叠\(\lambda^+\)。 (英语) Zbl 1008.03034号 国际数学杂志。数学。科学。 28,第2期,63-82(2001). 审核人:米罗斯拉夫·雷皮克(科西塞) MSC公司:03E40型 03E35号 03E50型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rosłanowski}和\textit{S.Shelah},国际数学杂志。数学。科学。28,第2号,63--82(2001;Zbl 1008.03034) 全文: 内政部 arXiv公司 欧洲DML
乌尔里奇·科伦巴赫 关于Krasnoselski和Ishikawa不动点定理的计算内容。 (英语) Zbl 0985.03048号 Blank,Jens(编辑)等人,分析中的可计算性和复杂性。第四届国际研讨会,CCA 2000。2000年9月17日至19日,英国斯旺西。精选论文。柏林:斯普林格。莱克特。注释计算。科学。2064, 119-145 (2001).MSC公司:03财年03 47甲10 2009年9月47日 PDF格式BibTeX公司 XML格式引用 \textit{U.Kohlenbach},莱克特。注释计算。科学。2064,119--145(2001;Zbl 0985.03048) 全文: 链接
查兹·施林德温 Shelah关于非半盈利性迭代的工作。二、。 (英语) Zbl 0993.03062号 J.塞姆。日志。 66,第4期,1865-1883(2001).MSC公司:03E35号 03E40型 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{C.Schlindwein},J.Symb。日志。66,第4号,1865--1883(2001;Zbl 0993.03062) 全文: 内政部
石佐县卡莫 与预测因子相关的基数不变量。二、。 (英语) Zbl 0971.03043号 数学杂志。日本兴业银行 53,第1期,35-57(2001).MSC公司:03E05号 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kamo},J.数学。日本社会委员会53,No.1,35-57(2001;Zbl 0971.03043) 全文: 内政部
王希钊;钟子棉;哈,明虎 求解模糊线性方程组的迭代算法。 (英语) Zbl 0974.65035号 模糊集系统。 119,第121-128号(2001年). 审核人:F.Szidarovszky(图森) MSC公司:65层10 15B33型 03E72型 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}等人,模糊集系统。119,第1号,121--128(2001;Zbl 0974.65035) 全文: 内政部