迈克尔·汉森。;周朝晨 持续时间演算:逻辑基础。 (英语) Zbl 0887.68101号 正式Asp。计算。 9,第3期,283-330(1997).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}和\textit{Z.Chaochen},正式Asp。计算。9,第3号,283--330(1997;Zbl 0887.68101) 全文: 内政部
迈克尔·R·汉森。;帕里托什·K·潘迪亚。;周朝晨 有限发散。 (英语) Zbl 0874.68269号 西奥。计算。科学。 138,第1期,113-139(1995).MSC公司:68T27型 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}等人,Theor。计算。科学。138,编号1,113--139(1995;Zbl 0874.68269) 全文: 内政部