Précédent : Substitutions explicites et réécriture d'ordre Remonter : Preuve Suivant : Complexité de comptage en satisfaisabilité

Complexité de la déduction automatique

Participant : Nicolas Hermann, Laurent Juban