首页期刊浏览 2024年11月25日星期一

登录注册

全文

有本地全文

4篇

出版年度

	2018	1篇
	2016	1篇
	2015	2篇

作者

	Paolo Capriotti	4篇
	Nicolai Kraus	2篇
	Andrea Vezzosi	1篇
	Andrew J. Waters	1篇
	Benedikt Ahrens	1篇

	David C. A. Gaboriau	1篇
	Nikolai Windbichler	1篇
	Philippos Aris Papathanos	1篇
	R{\'e}gis Spadotti	1篇
	Thorsten Altenkirch	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Scientific Reports	1篇

学科主题

	计算技术、计算机技术	3篇
	自然科学总论	1篇

语种

英文

4篇

国别/地区

	德国	3篇
	英国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Paolo Capriotti")))) )) ) )"

共 4 条记录

排序：全选导出：

1.Rationally-engineered reproductive barriers using CRISPR & CRISPRa: an evaluation of the synthetic species concept in Drosophila melanogaster

作　　者：Andrew J. Waters ;Paolo Capriotti ;David C. A. Gaboriau 等

出　　处：Scientific Reports. 2018 ;8(1):13125.doi:10.1038/s41598-018-31433-2

出版社：Springer Nature

文章 ID：218190036

文章详细全文下载
2.Non-Wellfounded Trees in Homotopy Type Theory

作　　者：Benedikt Ahrens ;Paolo Capriotti ;R{\'e}gis Spadotti

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:17-30.doi:10.4230/LIPIcs.TLCA.2015.17

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

文章 ID：186846853

文章详细全文下载
3.Functions out of Higher Truncations

作　　者：Paolo Capriotti ;Nicolai Kraus ;Andrea Vezzosi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:359-373.doi:10.4230/LIPIcs.CSL.2015.359

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

文章 ID：186847057

文章详细全文下载
4.Extending Homotopy Type Theory with Strict Equality

作　　者：Thorsten Altenkirch ;Paolo Capriotti ;Nicolai Kraus

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:21:1-21:17.doi:10.4230/LIPIcs.CSL.2016.21

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

文章 ID：186847938

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有