Séminaire MAGMAT, Vendredi 03 Avril

Ce vendredi à 10h30 en salle 301 nous accueillons Nicolas de Rugy-Alherre (Paris 7).

Exposé d'introduction à la logique de dépendance.


La logique de dépendance et ses variantes (indépendance et inclusion) ont été introduites par Vänäänen il y a quelques années pour parler de façon "propre" de dépendance en logique. Je présenterai cette logique et ses résultats principaux en complexité.

 Imprimer 

Our website is protected by DMC Firewall!