阿尔伯特·阿塞里亚斯;马西莫·劳里亚;雅各布诺德斯特伦 狭义证明可能最长。 (英语) Zbl 1367.03104号 ACM事务处理。计算。日志。 17号第3条第19条第30页(2016年).MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人,《美国医学杂志》。计算。日志。17,第3号,第19条,第30页(2016;Zbl 1367.03104) 全文: 内政部 arXiv公司
罗伯托·塞巴斯蒂亚尼;西尔维娅·托马西 具有线性合理成本的优化模理论。 (英语) Zbl 1354.68233号 ACM事务处理。计算。日志。 16,第2号,第12条,43页(2015年).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Sebastiani}和\textit{S.Tomasi},ACM翻译。计算。日志。16,第2号,第12条,43页(2015年;Zbl 1354.68233) 全文: 内政部 arXiv公司
马丁·格布瑟;托尔斯滕·绍布 答案集语义下逻辑程序的表计算。 (英语) Zbl 1353.68037号 ACM事务处理。计算。日志。 14,第2号,第15条,40页(2013年).MSC公司:68N17号 03B35型 20层03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}和\textit{T.Schaub},ACM翻译。计算。日志。14,第2号,第15条,40页(2013;Zbl 1353.68037) 全文: 内政部
维奥里卡Sofrone-Stokkerman 关于有界分配格的统一。 (英语) Zbl 1367.03025号 ACM事务处理。计算。日志。 8,第2号,第12条,28页(2007年).MSC公司:03B35型 05年6月 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Sofronie-Stokkermans},ACM事务处理。计算。日志。8,第2号,第12条,28页(2007年;Zbl 1367.03025) 全文: 内政部