THEORIE DE LA PREUVE INFINITAIRE POUR LES LOGIQUES A POINTS FIXES.

par Amina Doumane

Thèse de doctorat en Informatique

Sous la direction de Pierre-louis Curien.

Thèses en préparation à Sorbonne Paris Cité , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec Institut de Recherche en Informatique Fondamentale (equipe de recherche) depuis le 20-09-2014 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.