Thomas PLACE
Thomas Place Maître de Conférences ()

Équipe LaBRI : Méthodes formelles
Courrier électronique : thomas.placearobaselabri.fr
Bureau : 278
Tél : +33 (0)5 40 00 37 95


Extrait de publications


Thomas Place, Luc Segoufin. DECIDING DEFINABILITY IN FO 2 (< v , < h ) ON TREES. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 11 (3)

Thomas Place, Marc Zeitoun. Going higher in the First-order Quantifier Alternation Hierarchy on Words. Esparza, J., Fraigniaud, P., Husfeldt, T. and Koutsoupias, E. ICALP, International Conference on Automata, Languages, and Programming, Jul 2014, Copenhagen, Denmark. Springer, 8573, pp.342-353, 2014

Thomas Place, Marc Zeitoun. Separating Regular Languages with First-Order Logic. CSL-LICS '14, Jul 2014, Vienna, Austria. 2014

Thomas Place, Lorijn Van Rooijen, Marc Zeitoun. Separating Regular Languages by Piecewise Testable and Unambiguous Languages. Mathematical Foundations of Computer Science, Aug 2013, Austria. Springer, 8087, pp.729-740, 2013, LNCS

Thomas Place, Lorijn Van Rooijen, Marc Zeitoun. Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages. FSTTCS 2013, Dec 2013, Guwahati, India. 24, pp.363-375, 2013, LIPICS


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