刘江;徐明;詹乃军;赵恒均 发现多路径多项式程序的非终止输入。 (英文) 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) 全文: 内政部
张志海;迪帕克·卡普尔 关于不变量检查。 (英文) Zbl 1310.68147号 J.系统。科学。复杂。 第3期第26期,第470-482页(2013年).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}和\textit{D.Kapur},J.Syst。科学。复杂。26,第3号,470--482(2013;Zbl 1310.68147) 全文: 内政部