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

文章详细全文下载

2.Dynamic Complexity of Parity Exists Queries

作　　者：Nils Vortmeier ;Thomas Zeume

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

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

文章 ID：243494238

文章详细全文下载

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.Dynamic Complexity of Reachability: How Many Changes Can We Handle?

作　　者：Samir Datta ;Pankaj Kumar ;Anish Mukherjee 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:122:1-122:19.doi:10.4230/LIPIcs.ICALP.2020.122

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

文章 ID：255823157

文章详细全文下载

6.An Update on Dynamic Complexity Theory

作　　者：Thomas Zeume

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

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

文章 ID：220015217

文章详细

7.A More General Theory of Static Approximations for Conjunctive Queries

作　　者：Pablo Barcel{\'o ;Miguel Romero ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:7:1-7:22.doi:10.4230/LIPIcs.ICDT.2018.7

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

文章 ID：220015221

文章详细

8.Reachability and Distances under Multiple Changes

作　　者：Samir Datta ;Anish Mukherjee ;Nils Vortmeier 等

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

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

文章 ID：220014911

文章详细

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

文章详细全文下载

10.Temporal Logics on Words with Multiple Data Values

作　　者：Ahmet Kara ;Thomas Schwentick ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:481-492.doi:10.4230/LIPIcs.FSTTCS.2010.481

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

文章 ID：186845795

文章详细全文下载

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

	2022	1篇
	2021	1篇
	2020	3篇
	2018	3篇
	2017	2篇

	2016	2篇
	2015	1篇
	2013	1篇
	2012	1篇
	2010	1篇

	Ahmet Kara	1篇
	Amaldev Manuel	1篇
	Anuj Tawari	1篇
	Ioannis Kokkinis	1篇
	Jonas Schmidt	1篇
	Miguel Romero	1篇
	Pablo Barcel{\'o	1篇
	Pablo Mu{\~n}oz	1篇
	Pankaj Kumar	1篇
	Szymon Toruńczyk	1篇
	Wim Martens	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

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

	Thomas Zeume	16篇
	Nils Vortmeier	9篇
	Thomas Schwentick	6篇
	Anish Mukherjee	3篇
	Samir Datta	3篇

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