1.Two-Way Unary Temporal Logic over Trees

作　　者：Mikolaj Bojanczyk

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

出版社：Technical University of Braunschweig

文章 ID：47333314

文章详细全文下载

2.String-to-String Interpretations With Polynomial-Size Output

作　　者：Mikolaj Bojanczyk ;Sandra Kiefer ;Nathan Lhote

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.106

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

文章 ID：238892241

文章详细全文下载

3.Optimizing Tree Decompositions in MSO

作　　者：Mikolaj Bojanczyk ;Michal Pilipczuk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;66:15:1-15:13.doi:10.4230/LIPIcs.STACS.2017.15

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

文章 ID：191698344

文章详细全文下载

4.Orbit-Finite Sets and Their Algorithms (Invited Talk)

作　　者：Mikolaj Bojanczyk

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

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

文章 ID：198371956

文章详细全文下载

5.Emptiness of Zero Automata Is Decidable

作　　者：Mikolaj Bojanczyk ;Hugo Gimbert ;Edon Kelmendi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:106:1-106:13.doi:10.4230/LIPIcs.ICALP.2017.106

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

文章 ID：198372060

文章详细全文下载

6.Which Classes of Origin Graphs Are Generated by Transducers

作　　者：Mikolaj Bojanczyk ;Laure Daviaud ;Bruno Guillon 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:114:1-114:13.doi:10.4230/LIPIcs.ICALP.2017.114

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

文章 ID：198372068

文章详细全文下载

7.Wreath Products of Forest Algebras, with Applications to Tree Logics

作　　者：Mikolaj Bojanczyk ;Igor Walukiewicz ;Howard Straubing

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

出版社：Technical University of Braunschweig

文章 ID：264691963

文章详细全文下载

8.Weak MSO with the Unbounding Quantifier

作　　者：Mikolaj Bojanczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:159-170.doi:10.4230/LIPIcs.STACS.2009.1834

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

文章 ID：186845538

文章详细全文下载

9.Deterministic Automata and Extensions of Weak MSO

作　　者：Mikolaj Bojanczyk ;Szymon Torunczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:73-84.doi:10.4230/LIPIcs.FSTTCS.2009.2308

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

文章 ID：186845591

文章详细全文下载

10.Beyond omega-Regular Languages

作　　者：Mikolaj Bojanczyk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5:11-16.doi:10.4230/LIPIcs.STACS.2010.2440

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

文章 ID：186845626

文章详细

	有本地全文	18篇
	有全文链接	1篇

	2019	1篇
	2017	4篇
	2016	3篇
	2013	1篇
	2012	4篇

	2011	1篇
	2010	2篇
	2009	3篇

	Mikolaj Bojanczyk	19篇
	Szymon Torunczyk	4篇
	Pawel Parys	2篇
	Bruno Guillon	1篇
	Diego Figueira	1篇

	Edon Kelmendi	1篇
	Howard Straubing	1篇
	Hugo Gimbert	1篇
	Igor Walukiewicz	1篇
	Laure Daviaud	1篇
	Michal Pilipczuk	1篇
	Michal Skrzypczak	1篇
	Nathan Lhote	1篇
	Sandra Kiefer	1篇
	Tomasz Idziaszek	1篇
	Vince B{\'a}r{\'a}ny	1篇
	Vincent Penelle	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Mikolaj Bojanczyk")))) )) ) )"

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