1.On Synthesis of Resynchronizers for Transducers

作　　者：Sougata Bose ;Shankara Narayanan Krishna ;Anca Muscholl 等

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

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

文章 ID：238892019

文章详细全文下载
2.Which Classes of Origin Graphs Are Generated by Transducers

作　　者：Mikolaj Bojanczyk ;Laure Daviaud ;Bruno Guillon 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:114:1-114:13.doi:10.4230/LIPIcs.ICALP.2017.114

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

文章 ID：198372068

文章详细全文下载
3.Origin-Equivalence of Two-Way Word Transducers Is in PSPACE

作　　者：Sougata Bose ;Anca Muscholl ;Vincent Penelle 等

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

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

文章 ID：230213171

文章详细全文下载
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

文章详细全文下载

	Vincent Penelle	4篇
	Anca Muscholl	2篇
	Gabriele Puppis	2篇
	Sougata Bose	2篇
	Bruno Guillon	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Vincent Penelle")))) )) ) )"

	Gr{\'e}goire Sutre	1篇
	Laure Daviaud	1篇
	Mikolaj Bojanczyk	1篇
	Shankara Narayanan Krishna	1篇
	Sylvain Salvati	1篇

	2019	1篇
	2018	2篇
	2017	1篇