1.On Limitations of the Ehrenfeucht-Fraisse-method in Descriptive Complexity

作　　者：Yijia Chen ;Joerg Flum

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

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

文章 ID：88774812

文章详细全文下载
2.Descriptive Complexity Theories

作　　者：Joerg Flum

出　　处：THEORIA. An International Journal for Theory, History and Foundations of Science. 2003 ;18(1):47-58.doi:10.1387/theoria.409

出版社：UPV/EHU - University of the Basque Country

文章 ID：100184623

文章详细全文下载
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.On optimal proof systems and logics for PTIME

作　　者：Yijia Chen, Joerg Flum

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

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

文章 ID：47585236

文章详细全文下载
5.Listings and logics

作　　者：Yijia Chen, Joerg Flum

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

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

文章 ID：47840907

文章详细全文下载
6.Descriptive Complexity Theories

作　　者：Joerg Flum

出　　处：THEORIA. An International Journal for Theory, History and Foundations of Science. 2008 ;18(1):47-58.

出版社：UPV/EHU - University of the Basque Country

文章 ID：185578725

文章详细全文下载

	计算技术、计算机技术	4篇
	文化、科学、教育、体育	2篇

	德国	4篇
	西班牙	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Joerg Flum")))) )) ) )"

	Joerg Flum	3篇
	Yijia Chen, Joerg Flum	2篇
	Joerg Flum, Moritz Müller	1篇
	Yijia Chen	1篇

	Electronic Colloquium on Computational Complexity	4篇
	THEORIA. An International Journal for Theory, History and Foundations of Science	2篇

	2013	1篇
	2012	1篇
	2011	1篇
	2010	1篇
	2008	1篇