Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres
non ordonnés / Iovka Boneva [thèse]
Requêtes logiques sur les hyperflux / par Momar Ndiouga Sakho ; sous la direction
de Joachim Niehren et la co-direction de Iovka Boneva, 2020 [thèse, Université de
Lille]
Échange de données de bases de données relationnelles vers RDF avec des schémas des
constraintes sur cible / par Jose Martin Lozano Aparicio ; sous la direction de Slawek
Staworko et la co-direction de Iovka Boneva, 2020 [thèse, Université de Lille]