Gasquet Olivier

Enseignant-Chercheur
Université Paul Sabatier (Toulouse III)
Equipe de recherche principale (hors annuaire): 
Institut de Recherche en Informatique de Toulouse http://www.irit.fr/
Adresse électronique: 
gasquet [at] irit.fr
Publications: 
  • Olivier Gasquet. On the influence of confluence in modal logics. Dans : Fundamenta Informaticae, IOS Press, Vol. 70 N. 3, p. 227-250, 2006.
  • Olivier Gasquet, François Schwarzentruber, Martin Strecker. Panda: a Proof Assistant in Natural Deduction for All. A Gentzen style proof assistant for undergraduate students} (regular paper). Dans : International Congress on Tools for Teaching Logic (ICTTL 2011), Salamanca (Spain), 01/06/2011-04/06/2011, Vol. 6680, Patrick Blackburn, Hans P. van Ditmarsch, Maria Manzano, Fernando Soler-Tosca (Eds.), Springer, Lecture Notes in Computer Science, p. 85-92, 2011.
Thèmes de recherche: 
Logique (philosophique et mathématique)