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

登录注册

全文

有本地全文

23篇

出版年度

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

	2011	2篇
	2010	1篇
	2009	1篇
	2002	1篇
	2001	1篇
	2000	1篇
	1998	1篇
	1997	2篇
	1995	1篇
	1994	3篇

作者

	Pavel Pudlak	22篇
	Neil Thapen	3篇
	Pavel Hrubes	3篇
	Michal Koucky	2篇
	Nicola Galesi	2篇

	Vojtech Rodl	2篇
	Alan Woods	1篇
	Albert Atserias	1篇
	Alexander Kulikov	1篇
	Anna Gal	1篇
	Arnold Beckmann	1篇
	Bruno Codenotti	1篇
	Dmitry Gavinsky	1篇
	Emanuele Viola	1篇
	Giovanni Resta	1篇
	Jan Krajicek	1篇
	Jiri Sgall	1篇
	Kristoffer Arnsfelt Hansen	1篇
	Mateus de Oliveira Oliveira	1篇
	Matthias Krause	1篇
	Pavel Pudlak, Jiri Sgall	1篇
	Prajakta Nimbhorkar	1篇
	Russell Impagliazzo	1篇
	Stasys Jukna	1篇

来源期刊

Electronic Colloquium on Computational Complexity

23篇

学科主题

计算技术、计算机技术

23篇

语种

英文

23篇

国别/地区

德国

23篇

检索条件:"( ( 高级检索(( ((AU:(("Pavel Pudlak")))) )) ) )"

共 23 条记录

排序：全选导出：

1.Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates

作　　者：Anna Gal ;Kristoffer Arnsfelt Hansen ;Michal Koucky 等

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

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

文章 ID：88774581

文章详细全文下载
2.A lower bound on the size of resolution proofs of the Ramsey theorem

作　　者：Pavel Pudlak

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

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

文章 ID：88774593

文章详细全文下载
3.Complexity Theory and Genetics

作　　者：Pavel Pudlak

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

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

文章 ID：88774733

文章详细全文下载
4.An Exponential Lower Bound to the Size of Bounded Depth Frege Proofs of the Pigeonhole Principle

作　　者：Jan Krajicek ;Pavel Pudlak ;Alan Woods

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

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

文章 ID：88774738

文章详细全文下载
5.On the Computational Power of Depth 2 Circuits with Threshold and Modulo Gates

作　　者：Matthias Krause ;Pavel Pudlak

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

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

文章 ID：88774743

文章详细全文下载
6.Parity Games and Propositional Proofs

作　　者：Pavel Pudlak ;Arnold Beckmann ;Neil Thapen

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

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

文章 ID：88774839

文章详细全文下载
7.Partition Expanders

作　　者：Dmitry Gavinsky ;Pavel Pudlak

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

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

文章 ID：90814578

文章详细全文下载
8.The space complexity of cutting planes refutations

作　　者：Nicola Galesi ;Pavel Pudlak ;Neil Thapen

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

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

文章 ID：95928655

文章详细全文下载
9.On convex complexity measures

作　　者：Pavel Hrubes ;Stasys Jukna ;Alexander Kulikov 等

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

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

文章 ID：47146789

文章详细全文下载
10.Monotone complexity and the rank of matrices

作　　者：Pavel Pudlak

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

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

文章 ID：47146910

文章详细全文下载

1 2 3 下一页尾页

电话：010-85195300

E-mail：[email protected]

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

扫一扫关注微信

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

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