1.The Intersection Problem for Finite Monoids

作　　者：Lukas Fleischer ;Manfred Kufleitner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;96:30:1-30:14.doi:10.4230/LIPIcs.STACS.2018.30

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

文章 ID：220015265

文章详细

2.On logical hierarchies within FO Â²-definable languages

作　　者：Manfred Kufleitner ;Pascal Weil

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

出版社：Technical University of Braunschweig

文章 ID：264691961

文章详细全文下载

3.Fragments of First-Order Logic over Infinite Words

作　　者：Volker Diekert ;Manfred Kufleitner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;3:325-336.doi:10.4230/LIPIcs.STACS.2009.1818

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

文章 ID：186845552

文章详细全文下载

4.First-order Fragments with Successor over Infinite Words

作　　者：Jakub Kallas ;Manfred Kufleitner ;Alexander Lauser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:356-367.doi:10.4230/LIPIcs.STACS.2011.356

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

文章 ID：186845827

文章详细全文下载

5.The FO2 alternation hierarchy is decidable

作　　者：Manfred Kufleitner ;Pascal Weil

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:426-439.doi:10.4230/LIPIcs.CSL.2012.426

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

文章 ID：186846175

文章详细全文下载

6.Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable

作　　者：Manfred Kufleitner ;Alexander Lauser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;20:305-316.doi:10.4230/LIPIcs.STACS.2013.305

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

文章 ID：186846268

文章详细全文下载

7.Ehrenfeucht-Fraïssé Games on Omega-Terms

作　　者：Martin Huschenbett ;Manfred Kufleitner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:374-385.doi:10.4230/LIPIcs.STACS.2014.374

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

文章 ID：186846468

文章详细全文下载

8.Efficient Algorithms for Morphisms over Omega-Regular Languages

作　　者：Lukas Fleischer ;Manfred Kufleitner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;45:112-124.doi:10.4230/LIPIcs.FSTTCS.2015.112

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

文章 ID：186847179

文章详细全文下载

9.Solutions of Word Equations Over Partially Commutative Structures

作　　者：Volker Diekert ;Artur Jez ;Manfred Kufleitner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:127:1-127:14.doi:10.4230/LIPIcs.ICALP.2016.127

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

文章 ID：186847724

文章详细全文下载

10.Testing Simon's congruence

作　　者：Lukas Fleischer ;Manfred Kufleitner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-13.doi:10.4230/LIPIcs.MFCS.2018.62

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

文章 ID：230213417

文章详细全文下载

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Manfred Kufleitner")))) )) ) )"

	Manfred Kufleitner	10篇
	Lukas Fleischer	3篇
	Alexander Lauser	2篇
	Pascal Weil	2篇
	Volker Diekert	2篇

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