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, Marc Zeitoun. Separating without any ambiguity. 45th International Colloquium on Automata, Languages and Programming, ICALP 2018, Jul 2018, Prague, Czech Republic. LIPICS, 45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)

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


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