Nathan LHOTE
Nathan Lhote Doctorant (Université Bordeaux 1)

É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. 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).

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.


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