1.On the complexity of XPath containment in the presence of disjunction, DTDs, and variables

作　　者：Frank Neven ;Thomas Schwentick

出　　处：Logical Methods in Computer Science. 2006 ;2(03).doi:10.2168/LMCS-2(3:1)2006

出版社：Technical University of Braunschweig

文章 ID：46838636

文章详细全文下载

2.Dynamic Complexity Meets Parameterised Algorithms

作　　者：Jonas Schmidt ;Thomas Schwentick ;Nils Vortmeier 等

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

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

文章 ID：243494237

文章详细全文下载

3.Dynamic Complexity under Definable Changes

作　　者：Thomas Schwentick ;Nils Vortmeier ;Thomas Zeume

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

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

文章 ID：191698407

文章详细全文下载

4.A Strategy for Dynamic Programs: Start over and Muddle Through

作　　者：Samir Datta ;Anish Mukherjee ;Thomas Schwentick 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:98:1-98:14.doi:10.4230/LIPIcs.ICALP.2017.98

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

文章 ID：198372052

文章详细全文下载

5.Distribution Constraints: The Chase for Distributed Data

作　　者：Gaetano Geck ;Frank Neven ;Thomas Schwentick

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155:13:1-13:19.doi:10.4230/LIPIcs.ICDT.2020.13

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

文章 ID：255823526

文章详细全文下载

6.Two-Variable Logic with Two Order Relations

作　　者：Thomas Schwentick ;Thomas Zeume

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

出版社：Technical University of Braunschweig

文章 ID：264691927

文章详细全文下载

7.A Little Bit Infinite? On Adding Data to Finitely Labelled Structures (Abstract)

作　　者：Thomas Schwentick

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2008 ;1:17-18.doi:10.4230/LIPIcs.STACS.2008.1325

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

文章 ID：186845433

文章详细全文下载

8.The Dynamic Complexity of Formal Languages

作　　者：Wouter Gelade ;Marcel Marquardt ;Thomas Schwentick

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:481-492.doi:10.4230/LIPIcs.STACS.2009.1829

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

文章 ID：186845565

文章详细全文下载

9.Foreword -- 27th International Symposium on Theoretical Aspects of Computer Science

作　　者：Jean-Yves Marion ;Thomas Schwentick

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:1-6.doi:10.4230/LIPIcs.STACS.2010.2439

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

文章 ID：186845624

文章详细

10.Table of Contents -- 27th International Symposium on Theoretical Aspects of Computer Science

作　　者：Jean-Yves Marion ;Thomas Schwentick

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:7-10.doi:10.4230/LIPIcs.STACS.2010.2505

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

文章 ID：186845625

文章详细

	有本地全文	16篇
	有全文链接	2篇

	2020	2篇
	2019	1篇
	2018	1篇
	2017	2篇
	2016	1篇

	2015	2篇
	2012	1篇
	2011	2篇
	2010	3篇
	2009	1篇
	2008	1篇
	2006	1篇

	Thomas Schwentick	18篇
	Thomas Zeume	6篇
	Frank Neven	4篇
	Nils Vortmeier	4篇
	Christoph D{\"u}rr	2篇

	Gaetano Geck	2篇
	Jean-Yves Marion	2篇
	Ahmet Kara	1篇
	Anish Mukherjee	1篇
	Bas Ketsman	1篇
	Brecht Vandevoort	1篇
	Christopher Spinrath	1篇
	Dexter Kozen	1篇
	Ioannis Kokkinis	1篇
	Jonas Schmidt	1篇
	Marcel Marquardt	1篇
	Martin Schuster	1篇
	Samir Datta	1篇
	Wouter Gelade	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Thomas Schwentick")))) )) ) )"

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