1.Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time

作　　者：Pawel Parys

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

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

文章 ID：238891960

文章详细全文下载

2.Recursion Schemes and the WMSO+U Logic

作　　者：Pawel Parys

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:53:1-53:16.doi:10.4230/LIPIcs.STACS.2018.53

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

文章 ID：220015288

文章详细

3.The Complexity of the Diagonal Problem for Recursion Schemes

作　　者：Pawel Parys

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:45:1-45:14.doi:10.4230/LIPIcs.FSTTCS.2017.45

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

文章 ID：220015430

文章详细

4.Homogeneity Without Loss of Generality

作　　者：Pawel Parys

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:27:1-27:15.doi:10.4230/LIPIcs.FSCD.2018.27

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

文章 ID：220014785

文章详细

5.Weak Alternating Timed Automata

作　　者：Pawel Parys ;Igor Walukiewicz

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

出版社：Technical University of Braunschweig

文章 ID：264691971

文章详细全文下载

6.Collapse Operation Increases Expressive Power of Deterministic Higher Order Pushdown Automata

作　　者：Pawel Parys

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:603-614.doi:10.4230/LIPIcs.STACS.2011.603

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

文章 ID：186845848

文章详细全文下载

7.A Pumping Lemma for Pushdown Graphs of Any Level

作　　者：Pawel Parys

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:54-65.doi:10.4230/LIPIcs.STACS.2012.54

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

文章 ID：186846017

文章详细全文下载

8.Variants of Collapsible Pushdown Systems

作　　者：Pawel Parys

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:500-515.doi:10.4230/LIPIcs.CSL.2012.500

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

文章 ID：186846180

文章详细全文下载

9.Decidable classes of documents for XPath

作　　者：Vince B{\'a}r{\'a}ny ;Mikolaj Bojanczyk ;Diego Figueira 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:99-111.doi:10.4230/LIPIcs.FSTTCS.2012.99

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

文章 ID：186846194

文章详细全文下载

10.Ordered Tree-Pushdown Systems

作　　者：Lorenzo Clemente ;Pawel Parys ;Sylvain Salvati 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:163-177.doi:10.4230/LIPIcs.FSTTCS.2015.163

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

文章 ID：186847183

文章详细全文下载

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

	2019	1篇
	2018	3篇
	2016	4篇
	2015	1篇
	2012	4篇

	Pawel Parys	14篇
	Igor Walukiewicz	2篇
	Mikolaj Bojanczyk	2篇
	Szymon Torunczyk	2篇
	Achim Blumensath	1篇

	Claire David	1篇
	Diego Figueira	1篇
	Filip Murlak	1篇
	Lorenzo Clemente	1篇
	Sylvain Salvati	1篇
	Thomas Colcombet	1篇
	Vince B{\'a}r{\'a}ny	1篇
	Wojciech Czerwinski	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Pawel Parys")))) )) ) )"

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