1.Average Case Lower Bounds for Monotone Switching Networks

作　　者：Yuval Filmus ;Toniann Pitassi ;Robert Robere 等

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

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

文章 ID：88774801

文章详细全文下载
2.A Survey of Classes of Primitive Recursive Functions

作　　者：Stephen A. Cook

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

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

文章 ID：207621251

文章详细全文下载
3.Exponential Lower Bounds for Monotone Span Programs

作　　者：Stephen A. Cook ;Toniann Pitassi ;Robert Robere 等

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

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

文章 ID：215687014

文章详细全文下载
4.A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem

作　　者：Dai Tri Man Lê ;Stephen A. Cook ;Yuli Ye

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:381-395.doi:10.4230/LIPIcs.CSL.2011.381

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

文章 ID：186845996

文章详细全文下载
5.Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk)

作　　者：Stephen A. Cook

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:9-11.doi:10.4230/LIPIcs.CSL.2012.9

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

文章 ID：186846145

文章详细全文下载
6.Theories for Subexponential-size Bounded-depth Frege Proofs

作　　者：Kaveh Ghasemloo ;Stephen A. Cook

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:296-315.doi:10.4230/LIPIcs.CSL.2013.296

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

文章 ID：186846345

文章详细全文下载

	Stephen A. Cook	6篇
	Robert Robere	2篇
	Toniann Pitassi	2篇
	Benjamin Rossman	1篇
	Dai Tri Man Lê	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Stephen A. Cook")))) )) ) )"

	Electronic Colloquium on Computational Complexity	3篇
	LIPIcs : Leibniz International Proceedings in Informatics	3篇

	2017	1篇
	2016	1篇
	2013	2篇
	2012	1篇
	2011	1篇

	Kaveh Ghasemloo	1篇
	Yuli Ye	1篇
	Yuval Filmus	1篇