1.State Space Reduction For Parity Automata

作　　者：Christof L{"o}ding ;Andreas Tollk{"o}tter

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

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

文章 ID：243494228

文章详细全文下载

2.New Pumping Technique for 2-Dimensional VASS

作　　者：Wojciech Czerwinski ;Slawomir Lasota ;Christof L{"o}ding 等

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

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

文章 ID：238892012

文章详细全文下载

3.Determinization of Büchi Automata: Unifying the Approaches of Safra and Muller-Schupp

作　　者：Christof L{"o}ding ;Anton Pirogov

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

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

文章 ID：238892255

文章详细全文下载

4.On Nondeterministic Unranked Tree Automata with Sibling Constraints

作　　者：Christof L{\"o}ding ;Karianto Wong

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:311-322.doi:10.4230/LIPIcs.FSTTCS.2009.2328

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

文章 ID：186845611

文章详细全文下载

5.Degrees of Lookahead in Context-free Infinite Games

作　　者：Wladimir Fridman ;Christof L{\"o}ding ;Martin Zimmermann

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:264-276.doi:10.4230/LIPIcs.CSL.2011.264

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

文章 ID：186845988

文章详细全文下载

6.Deciding the weak definability of Büchi definable tree languages

作　　者：Thomas Colcombet ;Denis Kuperberg ;Christof L{\"o}ding 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:215-230.doi:10.4230/LIPIcs.CSL.2013.215

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

文章 ID：186846340

文章详细全文下载

7.Decidability Results on the Existence of Lookahead Delegators for NFA

作　　者：Christof L{\"o}ding ;Stefan Repke

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:327-338.doi:10.4230/LIPIcs.FSTTCS.2013.327

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

文章 ID：186846418

文章详细全文下载

8.A Unified Approach to Boundedness Properties in MSO

作　　者：Lukasz Kaiser ;Martin Lang ;Simon Le{\ss}enich 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:441-456.doi:10.4230/LIPIcs.CSL.2015.441

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

文章 ID：186847062

文章详细全文下载

9.Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers

作　　者：Christof L{\"o}ding ;Sarah Winter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:65:1-65:14.doi:10.4230/LIPIcs.MFCS.2016.65

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

文章 ID：186847892

文章详细全文下载

10.Transformation Between Regular Expressions and omega-Automata

作　　者：Christof L{\"o}ding ;Andreas Tollk{\"o}tter

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:88:1-88:13.doi:10.4230/LIPIcs.MFCS.2016.88

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

文章 ID：186847915

文章详细全文下载

	Anton Pirogov	1篇
	Denis Kuperberg	1篇
	Emmanuel Filiot	1篇
	Isma{\"e}l Jecker	1篇
	Karianto Wong	1篇
	Lukasz Kaiser	1篇
	Martin Lang	1篇
	Martin Zimmermann	1篇
	Michael Vanden Boom	1篇
	Radoslaw Pi{'o}rkowski	1篇
	Simon Le{\ss}enich	1篇
	Slawomir Lasota	1篇
	Stefan Repke	1篇
	Thomas Colcombet	1篇
	Wladimir Fridman	1篇
	Wojciech Czerwinski	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Christof L{\"o}ding")))) )) ) )"

	Christof L{\"o}ding	8篇
	Christof L{"o}ding	3篇
	Sarah Winter	2篇
	Andreas Tollk{"o}tter	1篇
	Andreas Tollk{\"o}tter	1篇