Items where Author is "Penelle, V."
Article
Bojanczyk, M., Daviaud, L. 
ORCID: 0000-0002-9220-7118, Guillon, B. , Penelle, V. & Sreejith, A. V. (2020).
Undecidability of a weak version of MSO+U.
Logical Methods in Computer Science, 16(1),
12:1-12:15.
doi: 10.23638/LMCS-16(1:12)2020
Conference or Workshop Item
Bojanczyk, M., Daviaud, L., Guillon, B. & Penelle, V. (2017). Which Classes of Origin Graphs Are Generated by Transducers. In: Chatzigiannakis, I., Indyk, P., Kuhn, F. & Muscholl, A. (Eds.), 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017), 10 - 14 July 2017, Warsaw, Poland.