徐明;黄成超;李志斌;曾振兵 分析可解系统的最终正性。 (英语) Zbl 1356.37035号 西奥。计算。科学。 609,第2部分,395-412(2016).MSC公司:37C20美元 03B25号 2010年1月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人,Theor。计算。科学。609,第2部分,395--412(2016;Zbl 1356.37035) 全文: 内政部
刘江;徐明;詹乃军;赵恒军 发现多路径多项式程序的非终止输入。 (英语) Zbl 1327.68080号 J.系统。科学。复杂。 27,第6号,1286-1304(2014).MSC公司:68号30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人,J.Syst。科学。复杂。27,第6号,1286--1304(2014;Zbl 1327.68080) 全文: 内政部