首页期刊浏览 2024年11月30日星期六

登录注册

全文

	有本地全文	9篇
	有全文链接	2篇

出版年度

	2019	1篇
	2018	2篇
	2017	2篇
	2016	3篇
	2014	1篇

2013

2篇

作者

	Christoph Berkholz	11篇
	Nicole Schweikardt	3篇
	Jakob Nordström	2篇
	Jens Keppeler	2篇
	Andreas Krebs	1篇

	Jakob Nordstr{\"o}m	1篇
	Michael Elberfeld	1篇
	Oleg Verbitsky	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Electronic Colloquium on Computational Complexity	3篇
	Logical Methods in Computer Science	1篇

学科主题

计算技术、计算机技术

11篇

语种

英文

11篇

国别/地区

德国

11篇

检索条件:"( ( 高级检索(( ((AU:(("Christoph Berkholz")))) )) ) )"

共 11 条记录

排序：全选导出：

1.Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width

作　　者：Christoph Berkholz ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-15.doi:10.4230/LIPIcs.MFCS.2019.58

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

文章 ID：238892008

文章详细全文下载
2.Answering FO+MOD Queries Under Updates on Bounded Degree Databases

作　　者：Christoph Berkholz ;Jens Keppeler ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:8:1-8:18.doi:10.4230/LIPIcs.ICDT.2017.8

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

文章 ID：191698396

文章详细全文下载
3.The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs

作　　者：Christoph Berkholz

出　　处：Electronic Colloquium on Computational Complexity. 2017 ;2017.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：207621404

文章详细全文下载
4.Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler-Leman Refinement Steps

作　　者：Christoph Berkholz ;Jakob Nordström

出　　处：Electronic Colloquium on Computational Complexity. 2016 ;2016.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：215687084

文章详细全文下载
5.Supercritical Space-Width Trade-offs for Resolution

作　　者：Christoph Berkholz ;Jakob Nordström

出　　处：Electronic Colloquium on Computational Complexity. 2016 ;2016.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：215687152

文章详细全文下载
6.Answering UCQs under Updates and in the Presence of Integrity Constraints

作　　者：Christoph Berkholz ;Jens Keppeler ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:8:1-8:19.doi:10.4230/LIPIcs.ICDT.2018.8

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

文章 ID：220015222

文章详细
7.The Relation between Polynomial Calculus, Sherali-Adams, and Sum-of-Squares Proofs

作　　者：Christoph Berkholz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:11:1-11:14.doi:10.4230/LIPIcs.STACS.2018.11

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

文章 ID：220015246

文章详细
8.Lower Bounds for Existential Pebble Games and k-Consistency Tests

作　　者：Christoph Berkholz

出　　处：Logical Methods in Computer Science. 2013 ;9(4):1.doi:10.2168/LMCS-9(4:2)2013

出版社：Technical University of Braunschweig

文章 ID：264692179

文章详细全文下载
9.Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy

作　　者：Christoph Berkholz ;Andreas Krebs ;Oleg Verbitsky

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:61-80.doi:10.4230/LIPIcs.CSL.2013.61

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

文章 ID：186846331

文章详细全文下载
10.Parameterized Complexity of Fixed Variable Logics

作　　者：Christoph Berkholz ;Michael Elberfeld

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;29:109-120.doi:10.4230/LIPIcs.FSTTCS.2014.109

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

文章 ID：186846600

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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