1.Revisiting Space in Proof Complexity: Treewidth and Pathwidth

作　　者：Moritz Müller ;Stefan Szeider

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

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

文章 ID：88774860

文章详细全文下载
2.Lower Bounds for DNF-Refutations of a Relativized Weak Pigeonhole Principle

作　　者：Albert Atserias ;Moritz Müller ;Sergi Oliva

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

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

文章 ID：88774863

文章详细全文下载
3.Some definitorial suggestions for parameterized proof complexity

作　　者：Joerg Flum, Moritz Müller

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

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

文章 ID：77057251

文章详细全文下载
4.Feasibly constructive proofs of succinct weak circuit lower bounds

作　　者：Moritz Müller ;Ján Pich

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

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

文章 ID：207621394

文章详细全文下载
5.An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

作　　者：Hubie Chen ;Moritz Müller

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

出版社：Technical University of Braunschweig

文章 ID：264691902

文章详细全文下载
6.A comparative UHPLC-Q/TOF–MS-based eco-metabolomics approach reveals temperature adaptation of four Nepenthes species

作　　者：Changi Wong ;Yee Soon Ling ;Julia Lih Suan Wee 等

出　　处：Scientific Reports. 2020 ;10(1):1-13.doi:10.1038/s41598-020-78873-3

出版社：Springer Nature

文章 ID：259937811

文章详细全文下载

	Moritz Müller	5篇
	Aazani Mujahid	1篇
	Albert Atserias	1篇
	Changi Wong	1篇
	Hubie Chen	1篇

	计算技术、计算机技术	5篇
	自然科学总论	1篇

	德国	5篇
	英国	1篇

全文

出版年度

作者

文章类型

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Moritz Müller")))) )) ) )"

	Joerg Flum, Moritz Müller	1篇
	Julia Lih Suan Wee	1篇
	Ján Pich	1篇
	Sergi Oliva	1篇
	Stefan Szeider	1篇
	Yee Soon Ling	1篇

	Electronic Colloquium on Computational Complexity	4篇
	Logical Methods in Computer Science	1篇
	Scientific Reports	1篇

	2020	1篇
	2017	1篇
	2013	3篇
	2012	1篇