首页期刊浏览 2025年03月04日星期二

登录注册

全文

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

出版年度

	2018	1篇
	2016	2篇
	2015	2篇
	2014	1篇
	2013	1篇

	2012	1篇
	2010	1篇

作者

	Aleksy Schubert	9篇
	Daria Walukiewicz-Chrzaszcz	2篇
	Jacek Chrzaszcz	2篇
	Henk P. Barendregt	1篇
	Jakub Zakrzewski	1篇

	Ken-Etsu Fujita	1篇
	Ken-etsu Fujita	1篇
	Konrad Zdanowski	1篇
	Marcin Benke	1篇
	Pawel Urzyczyn	1篇
	Paweł Urzyczyn	1篇
	Ralph Matthes	1篇
	Wil Dekkers	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	8篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

9篇

语种

英文

9篇

国别/地区

德国

9篇

检索条件:"( ( 高级检索(( ((AU:(("Aleksy Schubert")))) )) ) )"

共 9 条记录

排序：全选导出：

1.On the Mints Hierarchy in First-Order Intuitionistic Logic

作　　者：Aleksy Schubert ;Paweł Urzyczyn ;Konrad Zdanowski

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

出版社：Technical University of Braunschweig

文章 ID：264692055

文章详细全文下载
2.The Undecidability of Type Related Problems in Type-free Style System F

作　　者：Ken-Etsu Fujita ;Aleksy Schubert

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:103-118.doi:10.4230/LIPIcs.RTA.2010.103

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

文章 ID：186845693

文章详细全文下载
3.ML with PTIME complexity guarantees

作　　者：Jacek Chrzaszcz ;Aleksy Schubert

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:198-212.doi:10.4230/LIPIcs.CSL.2012.198

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

文章 ID：186846160

文章详细全文下载
4.Decidable structures between Church-style and Curry-style

作　　者：Ken-etsu Fujita ;Aleksy Schubert

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:190-205.doi:10.4230/LIPIcs.RTA.2013.190

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

文章 ID：186846312

文章详细全文下载
5.Frontmatter, Table of Contents, Preface, Conference Organization

作　　者：Ralph Matthes ;Aleksy Schubert

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;26:i-x.doi:10.4230/LIPIcs.TYPES.2013.i

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

文章 ID：186846494

文章详细
6.Automata Theoretic Account of Proof Search

作　　者：Aleksy Schubert ;Wil Dekkers ;Henk P. Barendregt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:128-143.doi:10.4230/LIPIcs.CSL.2015.128

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

文章 ID：186847043

文章详细全文下载
7.Restricted Positive Quantification Is Not Elementary

作　　者：Aleksy Schubert ;Pawel Urzyczyn ;Daria Walukiewicz-Chrzaszcz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;39:251-273.doi:10.4230/LIPIcs.TYPES.2014.251

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

文章 ID：186847088

文章详细全文下载
8.Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic

作　　者：Marcin Benke ;Aleksy Schubert ;Daria Walukiewicz-Chrzaszcz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:12:1-12:16.doi:10.4230/LIPIcs.FSCD.2016.12

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

文章 ID：186847444

文章详细全文下载
9.Coq Support in HAHA

作　　者：Jacek Chrzaszcz ;Aleksy Schubert ;Jakub Zakrzewski

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

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

文章 ID：230213692

文章详细全文下载

1

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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