Vincent Penelle

From MaRDI portal
Person:1798907

Available identifiers

zbMath Open penelle.vincentMaRDI QIDQ1798907

List of research outcomes





PublicationDate of PublicationType
Origin-equivalence of two-way word transducers is in PSPACE2022-07-21Paper
On Synthesis of Resynchronizers for Transducers2022-07-21Paper
On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems2022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q51114462020-05-27Paper
https://portal.mardi4nfdi.de/entity/Q52163032020-02-17Paper
Constrained dynamic tree networks2018-10-23Paper
Rewriting higher-order stack trees2017-10-20Paper
On the Context-Freeness Problem for Vector Addition Systems2017-07-03Paper
The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems2015-12-17Paper
Rewriting Higher-Order Stack Trees2015-10-20Paper

Research outcomes over time

This page was built for person: Vincent Penelle

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1798907&oldid=6397395"
Powered by MediaWiki