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

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

文章 ID：238892261

文章详细全文下载

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:137:1-137:14.doi:10.4230/LIPIcs.ICALP.2018.137

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

文章 ID：220014928

文章详细

3.Deciding definability in FO2(

作　　者：Thomas Place ;Luc Segoufin

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

出版社：Technical University of Braunschweig

文章 ID：264692064

文章详细全文下载

4.Separating Regular Languages with First-Order Logic

作　　者：Thomas Place ;Marc Zeitoun

出　　处：Logical Methods in Computer Science. 2016 ;12(1):1.doi:10.2168/LMCS-12(1:5)2016

出版社：Technical University of Braunschweig

文章 ID：264692127

文章详细全文下载

5.On Separation by Locally Testable and Locally Threshold Testable Languages

作　　者：Thomas Place ;Lorijn van Rooijen ;Marc Zeitoun

出　　处：Logical Methods in Computer Science. 2014 ;10(3):1.doi:10.2168/LMCS-10(3:24)2014

出版社：Technical University of Braunschweig

文章 ID：264692138

文章详细全文下载

6.Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages

作　　者：Thomas Place ;Lorijn van Rooijen ;Marc Zeitoun

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;24:363-375.doi:10.4230/LIPIcs.FSTTCS.2013.363

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

文章 ID：186846421

文章详细全文下载

7.Separation and the Successor Relation

作　　者：Thomas Place ;Marc Zeitoun

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;30:662-675.doi:10.4230/LIPIcs.STACS.2015.662

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

文章 ID：186846697

文章详细全文下载

8.The Covering Problem: A Unified Approach for Investigating the Expressive Power of Logics

作　　者：Thomas Place ;Marc Zeitoun

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:77:1-77:15.doi:10.4230/LIPIcs.MFCS.2016.77

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

文章 ID：186847904

文章详细全文下载

9.The Complexity of Separation for Levels in Concatenation Hierarchies

作　　者：Thomas Place ;Marc Zeitoun

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-17.doi:10.4230/LIPIcs.FSTTCS.2018.47

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

文章 ID：230213196

文章详细全文下载

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Thomas Place")))) )) ) )"

	Thomas Place	9篇
	Marc Zeitoun	8篇
	Lorijn van Rooijen	2篇
	Luc Segoufin	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	6篇
	Logical Methods in Computer Science	3篇