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

É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. Separating Regular Languages with First-Order Logic. CSL-LICS '14, Jul 2014, Vienna, Austria. 2014.

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, 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.

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.


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