Nathan LHOTE
Nathan Lhote Doctorant ()

Équipe LaBRI : Méthodes formelles
Courrier électronique : nathan.lhotearobaselabri.fr
Bureau : 123
Tél : +33 (0)5 40 00 84 19


Extrait de publications


Emmanuel Filiot, Olivier Gauwin, Nathan Lhote. First-order definability of rational transductions: An algebraic approach. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), Jul 2016, New York, United States. ACM, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'16), pp.387--396, 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science

Emmanuel Filiot, Olivier Gauwin, Nathan Lhote. Aperiodicity of rational functions is PSpace-complete. 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016), Dec 2016, Chennai, India. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Leibniz International Proceedings in Informatics (LIPIcs), 2016, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016)


Page mise à jour le 13/08/2010 à 10:56