1.Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One

作　　者：Diego Figueira ;Ranko Lazic ;J{\'e}r{\^o}me Leroux 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:119:1-119:14.doi:10.4230/LIPIcs.ICALP.2017.119

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

文章 ID：198372073

文章详细全文下载
2.Safety Verification of Communicating One-Counter Machines

作　　者：Alexander Heu{\ss}ner ;Tristan Le Gall ;Gr{\'e}goire Sutre

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;18:224-235.doi:10.4230/LIPIcs.FSTTCS.2012.224

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

文章 ID：186846204

文章详细全文下载
3.Reachability for Two-Counter Machines with One Test and One Reset

作　　者：Alain Finkel ;J{\'e}r{\^o}me Leroux ;Gr{\'e}goire Sutre

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

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

文章 ID：230213180

文章详细全文下载
4.On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems

作　　者：Vincent Penelle ;Sylvain Salvati ;Gr{\'e}goire Sutre

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

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

文章 ID：230213193

文章详细全文下载

	Filip Mazowiecki	1篇
	Ranko Lazic	1篇
	Sylvain Salvati	1篇
	Tristan Le Gall	1篇
	Vincent Penelle	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Gr{\ e}goire Sutre")))) )) ) )"

	Gr{\'e}goire Sutre	4篇
	J{\'e}r{\^o}me Leroux	2篇
	Alain Finkel	1篇
	Alexander Heu{\ss}ner	1篇
	Diego Figueira	1篇

	2018	2篇
	2017	1篇
	2012	1篇