162394039
2012-07-17
2022-12-05T10:46:56
Reasoning on words and trees with data / par Figueira Diego, 06/12/2010
Annuaire interne Université de Bordeaux, Décembre 2017 : Université de Bordeaux
0000-0003-0114-2257
male
Figueira, Diego (1980-....)
Figueira
Diego
Diego Figueira
1980
Auteur d'une thèse en Informatique à l'École normale supérieure de Cachan en 2010. Rattaché à : Université de Bordeaux (en 2017)
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique / Anthony Lick ; sous la direction de Sylvain Schmitz / , 2019
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique / Anthony Lick le 2019 [ Université Paris-Saclay (ComUE) ]
Reasoning on words and trees with data / Diego Figueira ; sous la direction de Stéphane P. Demri et de Luc Segoufin / , 2010
Reasoning on words and trees with data / Diego Figueira le 2010 [ Cachan, Ecole normale supérieure ]
Automatic synthesis of systems with data / Léo Exibard ; sous la direction de Pierre-Alain Reynier et de Emmanuel Filiot / , 2021
Automatic synthesis of systems with data / Léo Exibard le 2021 [ Aix-Marseille ]
Synchronous relations and complexity of query evaluation / Varun Ramanathan ; sous la direction de Pascal Weil et de Diego Figueira / , 2022
Algorithmes efficaces pour les requêtes logiques sur des graphes / Rémi Morvan [ Bordeaux ]
Synchronous relations and complexity of query evaluation / Varun Ramanathan le 2022 [ Bordeaux ]