SIGNALER une erreur



Luc Segoufin dirige actuellement les 2 thèses suivantes :

Propriétés de graphe : ordre et arithmétique en logique des prédicats

par Julien Grange sous la direction de Luc Segoufin - Paris Sciences et Lettres

Informatique
En préparation depuis le 01-09-2017
Thèse en préparation

Applications et limites de minorants récents pour les programmes de branchement

par Nathan Grosshans sous la direction de Luc Segoufin - Paris Saclay

Informatique
En préparation depuis le 15-09-2014
Thèse en préparation


Luc Segoufin a dirigé les 5 thèses suivantes :

Vues et requêtes sur les graphes de données : déterminabilité et réécritures

par Nadime Francis sous la direction de Luc Segoufin - Paris Saclay

Informatique
Soutenue le 08-12-2015
Thèse soutenue

Accéder en ligne

Query evaluation with constant delay

par Wojciech Kazana sous la direction de Luc Segoufin - Cachan, Ecole normale supérieure

Informatique
Soutenue le 16-09-2013
Thèse soutenue

Accéder en ligne

Decidable characterizations for tree logics

par Thomas Place sous la direction de Luc Segoufin - Cachan, Ecole normale supérieure

Informatique
Soutenue le 10-12-2010
Thèse soutenue

Accéder en ligne

Reasoning on words and trees with data

par Diego Figueira sous la direction de Stéphane P. Demri et de Luc Segoufin . - Cachan, Ecole normale supérieure

Informatique
Soutenue le 06-12-2010
Thèse soutenue

Accéder en ligne

Analyse de XML avec données non-bornées

par Claire David sous la direction de Luc Segoufin et de Anca Muscholl . - Paris 7

Informatique
Soutenue en 2009
Thèse soutenue

ABES
A propos | Assistance | CGU | Données personnelles | Mentions légales