1.The Succinctness of First-order Logic on Linear Orders

作　　者：Martin Grohe ;Nicole Schweikardt

出　　处：Logical Methods in Computer Science. 2005 ;1(1).

出版社：Technical University of Braunschweig

文章 ID：41929653

文章详细全文下载

2.Constant Delay Enumeration with FPT-Preprocessing for Conjunctive Queries of Bounded Submodular Width

作　　者：Christoph Berkholz ;Nicole Schweikardt

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

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

文章 ID：238892008

文章详细全文下载

3.Answering FO+MOD Queries Under Updates on Bounded Degree Databases

作　　者：Christoph Berkholz ;Jens Keppeler ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:8:1-8:18.doi:10.4230/LIPIcs.ICDT.2017.8

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

文章 ID：191698396

文章详细全文下载

4.Learning Concepts Described By Weight Aggregation Logic

作　　者：Steffen van Bergerem ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:10:1-10:18.doi:10.4230/LIPIcs.CSL.2021.10

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

文章 ID：258514172

文章详细全文下载

5.Answering UCQs under Updates and in the Presence of Integrity Constraints

作　　者：Christoph Berkholz ;Jens Keppeler ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:8:1-8:19.doi:10.4230/LIPIcs.ICDT.2018.8

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

文章 ID：220015222

文章详细

6.Gaifman Normal Forms for Counting Extensions of First-Order Logic

作　　者：Dietrich Kuske ;Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:133:1-133:14.doi:10.4230/LIPIcs.ICALP.2018.133

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

文章 ID：220014924

文章详细

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

文章详细全文下载

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

文章详细全文下载

9.Lower Bounds for Multi-Pass Processing of Multiple Data Streams

作　　者：Nicole Schweikardt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:51-62.doi:10.4230/LIPIcs.STACS.2009.1857

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

文章 ID：186845529

文章详细全文下载

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

文章详细全文下载

	有本地全文	11篇
	有全文链接	3篇

	2022	1篇
	2021	1篇
	2019	1篇
	2018	2篇
	2017	1篇

	2016	1篇
	2015	3篇
	2013	1篇
	2012	1篇
	2009	1篇
	2005	1篇

	Nicole Schweikardt	14篇
	Frederik Harwath	4篇
	Christoph Berkholz	3篇
	Jens Keppeler	2篇
	Arnaud Durand	1篇

	Dietrich Kuske	1篇
	Frank Neven	1篇
	Fr{\'e}d{\'e}ric Servais	1篇
	Luc Segoufin	1篇
	Lucas Heimberg	1篇
	Martin Grohe	1篇
	Steffen van Bergerem	1篇
	Tony Tan	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Nicole Schweikardt")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	10篇
	Logical Methods in Computer Science	4篇