Vincent Penelle
Identifiers
No identifiers captured yet.
Papers (4)
- On Synthesis of Resynchronizers for Transducers cs.FL · 2019 · author #4
- Origin-equivalence of two-way word transducers is in PSPACE cs.FL · 2018 · author #3
- Annotated Stack Trees cs.FL · 2015 · author #2
- Rewriting Higher-Order Stack Trees cs.FL · 2015 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Anca Muscholl 2 shared papers
- Gabriele Puppis 2 shared papers
- Sougata Bose 2 shared papers
- Matthew Hague 1 shared papers
- Shankara Narayanan Krishna 1 shared papers