乔治·戈蒂尔;贝塔·齐利安尼;亚历山大·纳涅夫斯基;德雷克·德雷尔 如何使即席证明自动化不那么即席。 (英语) 兹比尔1323.68117 2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录,ICFP’11。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0865-6)。ACM SIGPLAN通知46,第9号,163-175(2011)。MSC公司:68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Gonthier}等人,in:第16届ACM SIGPLAN函数编程国际会议论文集,2011年9月19日至21日,日本东京,ICFP'11。纽约州纽约市:计算机协会(ACM)。163-175(2011年;Zbl 1323.68117) 全文: 内政部 链接
埃夫琳·孔特让;Courtieu,Pierre皮埃尔;朱利安·福雷斯特;奥利维·蓬斯;泽维尔·乌尔班 CiME3自动认证证明。 (英语) Zbl 1236.68219号 Schmid-Schauß,Manfred(编辑),第22届改写技术和应用国际会议(RTA 2011),塞尔维亚诺维萨德,2011年5月30日至6月1日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-30-9)。LIPIcs–莱布尼茨国际信息学会议录10,21-30,仅电子版(2011年)。MSC公司:68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{埃里·孔特让}等人,LIPIcs--Leibniz Int.Proc。通知。10、21至30(2011年;Zbl 1236.68219) 全文: 内政部 链接
杰恩·达维德·盖内沃;朱利安·纳布克斯;帕斯卡·施雷克 Coq中吴的简单方法的形式化。 (英语) Zbl 1350.68234号 Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学课堂讲稿7086,71-86(2011)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.-D.Génevaux}等人,Lect。注释计算。科学。7086、71--86(2011;Zbl 1350.68234) 全文: 内政部