浅井,肯尼奇;奥列格·基塞利约夫;Shan、Chung-chieh 函数un\(|\)unparing。 (英语) Zbl 1256.68029号 高-订购符号。计算。 24,第4期,311-340(2011).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Asai}等人,高-订购符号。计算。24,第4号,311--340(2011;Zbl 1256.68029) 全文: DOI程序
阿尔贝托·佩特罗西;毛里齐奥·普罗埃蒂;苏菲·雷诺 通过专门化和减少不确定性导出有效的逻辑程序。 (英语) Zbl 1103.68034号 高-订购符号。计算。 18,编号1-2,121-210(2005).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}等人,高-订购符号。计算。18,编号1--2,121-210(2005;Zbl 1103.68034) 全文: DOI程序