罗伯特·雷廷格;郑西忠 实数的可计算性。 (英文) Zbl 07464639号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,3-28 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.Retinger}和\textit{X.Zheng},in:分析中的可计算性和复杂性手册。查姆:斯普林格。3-28(2021;Zbl 07464639) 全文: 内政部
郑西忠 可计算近似实数的分类。 (英文) Zbl 1176.03020号 理论计算。系统。 43,编号3-4,603-624(2008). 审核人:蒂莫西·麦克尼科尔(博蒙特) MSC公司:03D78号 03天55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{X.Zheng},理论计算。系统。43,编号3-4603-624(2008年;Zbl 1176.03020) 全文: 内政部
郑西忠 根据散度边界对可计算近似进行分类。 (英文) Zbl 1262.03097号 Cenzer,D.(ed.)等人,《第三届分析可计算性和复杂性国际会议论文集》(CCA 2006),美国佛罗里达州盖恩斯维尔,2006年11月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记167,325-344(2007)。MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{X.Zheng},电子。注释Theor。计算。科学。167325--344(2007年;Zbl 1262.03097) 全文: 内政部
郑西忠 在\(\Delta^0_2\)-实数的层次结构上。 (英文) Zbl 1155.03027号 理论。通知。申请。 41,第1期,3-25(2007). 审核人:宁忠(辛辛那提) MSC公司:03D55号 03D45号 03层60 PDF格式BibTeX公司 XML格式引用 \文本{X.Zheng},Theor。通知。申请。41,第1号,第3--25号(2007;Zbl 1155.03027) 全文: 内政部 Numdam编号 欧洲DML
罗伯特·雷廷格;郑西忠 关于单调可计算实数的层次和扩展。 (英文) Zbl 1043.03037号 J.复杂性 19,第5期,672-691(2003). 审核人:Frank Stephan(新加坡) MSC公司:03D65年 03英尺60英寸 PDF格式BibTeX公司 XML格式引用 \textit{R.Retinger}和\textit{X.Zheng},J.复杂性19,第5期,672--691(2003;Zbl 1043.03037) 全文: 内政部
郑西忠 实数在极限和可计算算子下的闭包性质。 (英文) Zbl 1039.03035号 理论。计算。科学。 284,第2期,499-518(2002).MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \文本{X.Zheng},Theor。计算。科学。284,第2号,499--518(2002;Zbl 1039.03035) 全文: 内政部
克劳斯Ambos-Spies;克劳斯·维赫劳赫;郑西忠 弱可计算实数。 (英文) Zbl 0974.03054号 J.复杂性 16,第4期,676-690(2000). 审核人:R.Downey(惠灵顿) MSC公司:03层60 PDF格式BibTeX公司 XML格式引用 \textit{K.Ambos-Spies}等人,J.Complexity 16,No.4,676--690(2000;Zbl 0974.03054) 全文: 内政部 链接