1.Property Testing for Bounded Degree Databases

作　　者：Isolde Adler ;Frederik Harwath

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:6:1-6:14.doi:10.4230/LIPIcs.STACS.2018.6

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

文章 ID：220015241

文章详细
2.On the locality of arb-invariant first-order formulas with modulo counting quantifiers

作　　者：Frederik Harwath ;Nicole Schweikardt

出　　处：Logical Methods in Computer Science. 2016 ;12(4):1.doi:10.2168/LMCS-12(4:8)2016

出版社：Technical University of Braunschweig

文章 ID：264692056

文章详细全文下载
3.Preservation and decomposition theorems for bounded degree structures

作　　者：Frederik Harwath ;Lucas Heimberg ;Nicole Schweikardt

出　　处：Logical Methods in Computer Science. 2015 ;11(4):1.doi:10.2168/LMCS-11(4:17)2015

出版社：Technical University of Braunschweig

文章 ID：264692106

文章详细全文下载
4.Regular tree languages, cardinality predicates, and addition-invariant FO

作　　者：Frederik Harwath ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:489-500.doi:10.4230/LIPIcs.STACS.2012.489

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

文章 ID：186846054

文章详细全文下载
5.On the locality of arb-invariant first-order logic with modulo counting quantifiers

作　　者：Frederik Harwath ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:363-379.doi:10.4230/LIPIcs.CSL.2013.363

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

文章 ID：186846349

文章详细全文下载

	有本地全文	4篇
	有全文链接	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Frederik Harwath")))) )) ) )"

	Frederik Harwath	5篇
	Nicole Schweikardt	4篇
	Isolde Adler	1篇
	Lucas Heimberg	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Logical Methods in Computer Science	2篇

	2018	1篇
	2016	1篇
	2015	1篇
	2013	1篇
	2012	1篇