1.A proof of Bertrand's postulate

作　　者：Andrea Asperti ;Wilmer Ricciotti

出　　处：Journal of Formalized Reasoning. 2012 ;5(1):37-57.doi:10.6092/issn.1972-5787/3406

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：100489219

文章详细全文下载
2.Matita Tutorial

作　　者：Andrea Asperti ;Wilmer Ricciotti ;Claudio Sacerdoti Coen

出　　处：Journal of Formalized Reasoning. 2014 ;7(2):91-199.doi:10.6092/issn.1972-5787/4651

出版社：Alma Mater Studiorum - University of Bologna

文章 ID：100489232

文章详细全文下载
3.Strongly Normalizing Audited Computation

作　　者：Wilmer Ricciotti ;James Cheney

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:36:1-36:21.doi:10.4230/LIPIcs.CSL.2017.36

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：200735102

文章详细全文下载
4.Strongly Normalizing Higher-Order Relational Queries

作　　者：Wilmer Ricciotti ;James Cheney

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:28:1-28:22.doi:10.4230/LIPIcs.FSCD.2020.28

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：255823205

文章详细全文下载
5.A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions

作　　者：Andrea Asperti ;Wilmer Ricciotti ;Claudio Sacerdoti Coen 等

出　　处：Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:18)2012

出版社：Technical University of Braunschweig

文章 ID：264691932

文章详细全文下载

	Wilmer Ricciotti	5篇
	Andrea Asperti	3篇
	Claudio Sacerdoti Coen	2篇
	James Cheney	2篇
	Enrico Tassi	1篇

	德国	3篇
	意大利	2篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Wilmer Ricciotti")))) )) ) )"

	Journal of Formalized Reasoning	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	2篇
	Logical Methods in Computer Science	1篇

	2020	1篇
	2017	1篇
	2014	1篇
	2012	2篇