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

É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, Varun Ramanathan, Pascal Weil. Covering and separation for logical fragments with modular predicates. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019. ⟨hal-02133930⟩

Thomas Place, Marc Zeitoun. Separating without any ambiguity. 45th International Colloquium on Automata, Languages and Programming, ICALP 2018, Jul 2018, Prague, Czech Republic. ⟨10.4230/LIPIcs.ICALP.2018⟩. ⟨hal-01798847⟩

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), ⟨10.2168/LMCS-11(3:5)2015⟩. ⟨hal-01223373⟩

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

Thomas Place, Marc Zeitoun. Going higher in the First-order Quantifier Alternation Hierarchy on Words. ICALP, International Conference on Automata, Languages, and Programming, Jul 2014, Copenhagen, Denmark. pp.342-353. ⟨hal-00997939⟩


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