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 

DMC Firewall is developed by Dean Marshall Consultancy Ltd