Précédent : Présentation du projet Remonter : Projet EURÉCA Suivant : Algorithmique

Actions de recherche

• Algorithmique
  • Combinatoire
  • Arithmétique
  • Calcul symbolique
• Preuve
  • Application de la déduction automatique aux protocoles de communication
  • Études des substitutions explicites et de leurs applications
  • Complexité de la déduction automatique
  • Logique, théorie de la démonstration