首页期刊浏览 2024年11月26日星期二

登录注册

全文

	有本地全文	8篇
	有全文链接	1篇

出版年度

	2019	1篇
	2018	1篇
	2016	1篇
	2014	1篇
	2013	1篇

	2012	2篇
	2011	1篇
	2010	1篇

作者

	Federico Aschieri	9篇
	Margherita Zorzi	2篇
	Giovanni Birolo	1篇
	Matteo Manighetti	1篇
	Stefano Berardi	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	5篇
	Electronic Proceedings in Theoretical Computer Science	3篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

9篇

语种

英文

9篇

国别/地区

	德国	6篇
	澳大利亚	3篇

检索条件:"( ( 高级检索(( ((AU:(("Federico Aschieri")))) )) ) )"

共 9 条记录

排序：全选导出：

1.Interactive Learning Based Realizability and 1-Backtracking Games

作　　者：Federico Aschieri

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;47:6-20.doi:10.4204/EPTCS.47.3

出版社：Open Publishing Association

文章 ID：83120110

文章详细全文下载
2.Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic

作　　者：Federico Aschieri ;Margherita Zorzi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2012 ;97:1-18.doi:10.4204/EPTCS.97.1

出版社：Open Publishing Association

文章 ID：83120603

文章详细全文下载
3.On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC

作　　者：Federico Aschieri

出　　处：Logical Methods in Computer Science. 2016 ;12(3):1.doi:10.2168/LMCS-12(3:13)2016

出版社：Technical University of Braunschweig

文章 ID：264692242

文章详细全文下载
4.Transfinite Update Procedures for Predicative Systems of Analysis

作　　者：Federico Aschieri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:20-34.doi:10.4230/LIPIcs.CSL.2011.20

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

文章 ID：186845972

文章详细全文下载
5.Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms

作　　者：Federico Aschieri

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:31-45.doi:10.4230/LIPIcs.CSL.2012.31

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

文章 ID：186846149

文章详细全文下载
6.Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1

作　　者：Federico Aschieri ;Stefano Berardi ;Giovanni Birolo

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:45-60.doi:10.4230/LIPIcs.CSL.2013.45

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

文章 ID：186846330

文章详细全文下载
7.A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle

作　　者：Federico Aschieri ;Margherita Zorzi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:24-44.doi:10.4230/LIPIcs.TYPES.2013.24

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

文章 ID：186846496

文章详细全文下载
8.On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic

作　　者：Federico Aschieri ;Matteo Manighetti

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;97:1-17.doi:10.4230/LIPIcs.TYPES.2016.4

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

文章 ID：230213688

文章详细全文下载
9.Natural Deduction and Normalization Proofs for the Intersection Type Discipline

作　　者：Federico Aschieri

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;293:29-37.doi:10.4204/EPTCS.293.3

出版社：Open Publishing Association

文章 ID：1034960978

文章详细

1

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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