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

登录注册

全文

有本地全文

4篇

出版年度

	2019	1篇
	2012	2篇
	2011	1篇

作者

	Pablo Arrighi	4篇
	Alejandro Díaz-Caro	2篇
	Armando Perez	1篇
	Benoît Valiron	1篇
	Giuseppe Di Molfetta	1篇

	Guillaume Theyssier	1篇
	Ivan Marquez-Martin	1篇
	Nicolas Schabanel	1篇

来源期刊

	Electronic Proceedings in Theoretical Computer Science	2篇
	Logical Methods in Computer Science	1篇
	Scientific Reports	1篇

学科主题

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

语种

英文

4篇

国别/地区

	澳大利亚	2篇
	德国	1篇
	英国	1篇

检索条件:"( ( 高级检索(( ((AU:(("Pablo Arrighi")))) )) ) )"

共 4 条记录

排序：全选导出：

1.A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

作　　者：Pablo Arrighi ;Alejandro Díaz-Caro ;Benoît Valiron

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;88:1-15.doi:10.4204/EPTCS.88.1

出版社：Open Publishing Association

文章 ID：83120424

文章详细全文下载
2.Intrinsic Simulations between Stochastic Cellular Automata

作　　者：Pablo Arrighi ;Nicolas Schabanel ;Guillaume Theyssier

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;90:208-224.doi:10.4204/EPTCS.90.17

出版社：Open Publishing Association

文章 ID：83120543

文章详细全文下载
3.From curved spacetime to spacetime-dependent local unitaries over the honeycomb and triangular Quantum Walks

作　　者：Pablo Arrighi ;Giuseppe Di Molfetta ;Ivan Marquez-Martin 等

出　　处：Scientific Reports. 2019 ;9(1):1-10.doi:10.1038/s41598-019-47535-4

出版社：Springer Nature

文章 ID：244232711

文章详细全文下载
4.A System F accounting for scalars

作　　者：Pablo Arrighi ;Alejandro Díaz-Caro

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

出版社：Technical University of Braunschweig

文章 ID：264691925

文章详细全文下载

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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