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

登录注册

全文

	有本地全文	38篇
	有全文链接	7篇

出版年度

	2021	3篇
	2020	5篇
	2019	3篇
	2018	7篇
	2017	4篇

	2016	6篇
	2015	4篇
	2014	5篇
	2013	1篇
	2012	2篇
	2010	2篇
	2009	3篇

作者

	Olaf Beyersdorff	45篇
	Leroy Chew	15篇
	Joshua Blinkhorn	14篇
	Meena Mahajan	12篇
	Anil Shukla	5篇

	Luke Hinde	4篇
	Judith Clymo	3篇
	Massimo Lauria	3篇
	Mikolas Janota	3篇
	Nicola Galesi	3篇
	Tomáš Peitl	3篇
	Benjamin Böhm	2篇
	Gaurav Sood	2篇
	Ján Pich	2篇
	Karteek Sreenivasaiah	2篇
	Andreas Krebs	1篇
	Barnaby Martin	1篇
	Benjamin B"{o}hm	1篇
	Gido Scharfenberger-Fabian	1篇
	Heribert Vollmer	1篇
	Ilario Bonacina	1篇
	Johannes Köbler	1篇
	J{\'a}n Pich	1篇
	Martin Suda	1篇
	Michael Thomas	1篇
	Mikol{\'a}s Janota	1篇
	Peitl, Tomáš	1篇
	Renate Schmidt	1篇
	Samir Datta	1篇
	Sebastian Müller	1篇
	Stefan Dantchev	1篇
	Yevgen Nebesov	1篇
	Zenon Sadowski	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	35篇
	LIPIcs : Leibniz International Proceedings in Informatics	9篇
	OASIcs : OpenAccess Series in Informatics	1篇

学科主题

计算技术、计算机技术

45篇

语种

英文

45篇

国别/地区

德国

45篇

检索条件:"( ( 高级检索(( ((AU:(("Olaf Beyersdorff")))) )) ) )"

共 45 条记录

排序：全选导出：

1.Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes

作　　者：Olaf Beyersdorff ;Zenon Sadowski

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

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

文章 ID：88774481

文章详细全文下载
2.Proof Systems that Take Advice

作　　者：Olaf Beyersdorff ;Johannes Köbler ;Sebastian Müller

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

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

文章 ID：88774492

文章详细全文下载
3.Verifying Proofs in Constant Depth

作　　者：Olaf Beyersdorff ;Samir Datta ;Andreas Krebs 等

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

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

文章 ID：88774613

文章详细全文下载
4.A Characterization of Tree-Like Resolution Size

作　　者：Olaf Beyersdorff ;Nicola Galesi ;Massimo Lauria

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

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

文章 ID：88774695

文章详细全文下载
5.The Complexity of Theorem Proving in Autoepistemic Logic

作　　者：Olaf Beyersdorff

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

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

文章 ID：88774763

文章详细全文下载
6.On Unification of QBF Resolution-Based Calculi

作　　者：Mikolas Janota ;Leroy Chew ;Olaf Beyersdorff

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

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

文章 ID：90814553

文章详细全文下载
7.Tableau vs. Sequent Calculi for Minimal Entailment

作　　者：Olaf Beyersdorff ;Leroy Chew

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

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

文章 ID：90814557

文章详细全文下载
8.The Complexity of Theorem Proving in Circumscription and Minimal Entailment

作　　者：Olaf Beyersdorff ;Leroy Chew

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

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

文章 ID：90814575

文章详细全文下载
9.A game characterisation of tree-like Q-Resolution size

作　　者：Olaf Beyersdorff ;Leroy Chew ;Karteek Sreenivasaiah

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

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

文章 ID：95928662

文章详细全文下载
10.Proof Complexity of Resolution-based QBF Calculi

作　　者：Olaf Beyersdorff ;Leroy Chew ;Mikolas Janota

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

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

文章 ID：95928673

文章详细全文下载

1 2 3 4 5 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

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

扫一扫关注微信

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

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