出　　处：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.Model Checking Vector Addition Systems with one zero-test

作　　者：Rémi Bonnet ;Alain FInkel ;Jérôme Leroux 等

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

出版社：Technical University of Braunschweig

文章 ID：264691990

文章详细全文下载

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.Place-Boundedness for Vector Addition Systems with one zero-test

作　　者：R{\'e}mi Bonnet ;Alain Finkel ;J{\'e}r{\^o}me Leroux 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:192-203.doi:10.4230/LIPIcs.FSTTCS.2010.192

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

文章 ID：186845770

文章详细全文下载

7.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

文章详细全文下载

8.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

文章详细全文下载

9.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

文章详细全文下载

10.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

文章详细全文下载

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

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Marc Zeitoun")))) )) ) )"

	Marc Zeitoun	10篇
	Thomas Place	8篇
	Lorijn van Rooijen	2篇
	Alain FInkel	1篇
	Alain Finkel	1篇

	J{\'e}r{\^o}me Leroux	1篇
	Jérôme Leroux	1篇
	R{\'e}mi Bonnet	1篇
	Rémi Bonnet	1篇

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