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  E-mail

DMC Firewall is a Joomla Security extension!