罗兰·阿克塞尔森 验证非常规程序属性。 (英语) 兹比尔1208.68011 慕尼黑:慕尼黑大学,慕尼黑信息研究所(Diss.)。xiv,152页。(2010).MSC公司:68-02 第68季度第60季度 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Axelsson},非常规程序属性的验证。慕尼黑:慕尼黑大学,慕尼黑信息研究所(Diss.)(2010;Zbl 1208.68011) 全文: 链接
尼西姆·弗朗西兹 公平。 (英语) Zbl 0602.68007号 计算机科学的文本和专著。纽约等地:Springer-Verlag。XIII、 295页DM 98.00(1986年)。 审核人:L.布里姆 MSC公司:68-02 第68季度第60季度 68N25号 68问题65 PDF格式BibTeX公司 XML格式