1.Regular Separability and Intersection Emptiness Are Independent Problems

作　　者：Ramanathan S. Thinniyam ;Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;150:1-15.doi:10.4230/LIPIcs.FSTTCS.2019.51

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

文章 ID：241519905

文章详细全文下载

2.The Complexity of Knapsack in Graph Groups

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:52:1-52:14.doi:10.4230/LIPIcs.STACS.2017.52

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

文章 ID：191698381

文章详细全文下载

3.Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups

作　　者：Markus Lohrey ;Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:67:1-67:15.doi:10.4230/LIPIcs.MFCS.2020.67

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

文章 ID：255822977

文章详细全文下载

4.The Complexity of Bounded Context Switching with Dynamic Thread Creation

作　　者：Pascal Baumann ;Rupak Majumdar ;Ramanathan S. Thinniyam 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:111:1-111:16.doi:10.4230/LIPIcs.ICALP.2020.111

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

文章 ID：255823146

文章详细全文下载

5.Rational Subsets of Baumslag-Solitar Groups

作　　者：Micha{"e}l Cadilhac ;Dmitry Chistikov ;Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:116:1-116:16.doi:10.4230/LIPIcs.ICALP.2020.116

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

文章 ID：255823151

文章详细全文下载

6.The Complexity of Knapsack Problems in Wreath Products

作　　者：Michael Figelius ;Moses Ganardi ;Markus Lohrey 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:126:1-126:18.doi:10.4230/LIPIcs.ICALP.2020.126

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

文章 ID：255823161

文章详细全文下载

7.Knapsack Problems for Wreath Products

作　　者：Moses Ganardi ;Daniel K{\"o}nig ;Markus Lohrey 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:32:1-32:13.doi:10.4230/LIPIcs.STACS.2018.32

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

文章 ID：220015267

文章详细

8.Unboundedness Problems for Languages of Vector Addition Systems

作　　者：Wojciech Czerwinski ;Piotr Hofman ;Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:119:1-119:15.doi:10.4230/LIPIcs.ICALP.2018.119

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

文章 ID：220014910

文章详细

9.On Boolean closed full trios and rational Kripke frames

作　　者：Markus Lohrey ;Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:530-541.doi:10.4230/LIPIcs.STACS.2014.530

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

文章 ID：186846481

文章详细全文下载

10.Computing Downward Closures for Stacked Counter Automata

作　　者：Georg Zetzsche

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:743-756.doi:10.4230/LIPIcs.STACS.2015.743

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

文章 ID：186846703

文章详细全文下载

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

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

	Dmitry Chistikov	1篇
	Michael Figelius	1篇
	Micha{"e}l Cadilhac	1篇
	Pascal Baumann	1篇
	Piotr Hofman	1篇
	Roland Meyer	1篇
	Rupak Majumdar	1篇
	Sebastian Muskalla	1篇
	Wojciech Czerwinski	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Georg Zetzsche")))) )) ) )"

	Georg Zetzsche	13篇
	Markus Lohrey	6篇
	Moses Ganardi	2篇
	Ramanathan S. Thinniyam	2篇
	Daniel K{\"o}nig	1篇