Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
Sara Negri a dirigé la thèse suivante :
On the proof theory of conditional logics
par Marianna Girlando sous la direction de Nicola Olivetti et de Sara Negri . - Aix-Marseille
Informatique
Soutenue le 08-02-2019
Sara Negri a été président de jury de la thèse suivante :
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique
par Anthony Lick sous la direction de Sylvain Schmitz - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 08-07-2019
Sara Negri a été membre de jury de la thèse suivante :
Le statut dynamique des axiomes : des preuves aux modèles
par Alberto Naibo sous la direction de Jean-Baptiste Joinet - Paris 1
Philosophie
Soutenue le 27-11-2013
