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.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

文章详细全文下载
3.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

文章详细全文下载
4.FO-Definability of Shrub-Depth

作　　者：Yijia Chen ;J{"o}rg Flum

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.15

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

文章 ID：243494216

文章详细全文下载
5.The Complexity of Homomorphism Indistinguishability

作　　者：Jan B{"o}ker ;Yijia Chen ;Martin Grohe 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-13.doi:10.4230/LIPIcs.MFCS.2019.54

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

文章 ID：238892004

文章详细全文下载
6.In vivo imaging to monitor differentiation and therapeutic effects of transplanted mesenchymal stem cells in myocardial infarction

作　　者：Zhijun Pei ;Jing Zeng ;Yafeng Song 等

出　　处：Scientific Reports. 2017 ;7(1).doi:10.1038/s41598-017-06571-8

出版社：Springer Nature

文章 ID：235889748

文章详细全文下载
7.Slicewise Definability in First-Order Logic with Bounded Quantifier Rank

作　　者：Yijia Chen ;J{\"o}rg Flum ;Xuangui Huang

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:19:1-19:16.doi:10.4230/LIPIcs.CSL.2017.19

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

文章 ID：200735085

文章详细全文下载
8.Some Lower Bounds in Parameterized AC^0

作　　者：Yijia Chen ;J{\"o}rg Flum

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:27:1-27:14.doi:10.4230/LIPIcs.MFCS.2016.27

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

文章 ID：186847854

文章详细全文下载

	Yijia Chen	6篇
	J{\"o}rg Flum	2篇
	Yijia Chen, Joerg Flum	2篇
	Fuyan Li	1篇
	Gaurav Rattan	1篇

	Hong Zhou	1篇
	Jan B{"o}ker	1篇
	Jing Zeng	1篇
	Joerg Flum	1篇
	J{"o}rg Flum	1篇
	Martin Grohe	1篇
	Ruimin Wu	1篇
	Wei Li	1篇
	Xuangui Huang	1篇
	Yafeng Song	1篇
	Yan Gao	1篇
	Yi Yang	1篇
	Zhijun Pei	1篇

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

	德国	7篇
	英国	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Yijia Chen")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	4篇
	Electronic Colloquium on Computational Complexity	3篇
	Scientific Reports	1篇

	2020	1篇
	2019	1篇
	2017	2篇
	2016	1篇
	2013	1篇

	2011	1篇
	2010	1篇