1.A Characterisation of Pi^0_2 Regular Tree Languages

作　　者：Filippo Cavallari ;Henryk Michalewski ;Michal Skrzypczak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:56:1-56:14.doi:10.4230/LIPIcs.MFCS.2017.56

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

文章 ID：205510104

文章详细全文下载
2.On the Borel Inseparability of Game Tree Languages

作　　者：Szczepan Hummel ;Henryk Michalewski ;Damian Niwinski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:565-576.doi:10.4230/LIPIcs.STACS.2009.1849

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

文章 ID：186845572

文章详细全文下载
3.On the separation question for tree languages

作　　者：Andr{\'e} Arnold ;Henryk Michalewski ;Damian Niwinski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;14:396-407.doi:10.4230/LIPIcs.STACS.2012.396

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

文章 ID：186846046

文章详细全文下载
4.On the Problem of Computing the Probability of Regular Sets of Trees

作　　者：Henryk Michalewski ;Matteo Mio

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:489-502.doi:10.4230/LIPIcs.FSTTCS.2015.489

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

文章 ID：186847206

文章详细全文下载
5.The Logical Strength of Büchi's Decidability Theorem

作　　者：Leszek Aleksander Kolodziejczyk ;Henryk Michalewski ;Pierre Pradic 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:36:1-36:16.doi:10.4230/LIPIcs.CSL.2016.36

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

文章 ID：186847952

文章详细全文下载

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Henryk Michalewski")))) )) ) )"

	Henryk Michalewski	5篇
	Damian Niwinski	2篇
	Michal Skrzypczak	2篇
	Andr{\'e} Arnold	1篇
	Filippo Cavallari	1篇

	Leszek Aleksander Kolodziejczyk	1篇
	Matteo Mio	1篇
	Pierre Pradic	1篇
	Szczepan Hummel	1篇

	2017	1篇
	2016	1篇
	2015	1篇
	2012	1篇
	2009	1篇