Développement : Lemme des paires critiques

Détails/Enoncé :

ref : terms rewriting and all that

Recasages pour l'année 2019 :

  • Pas de recasages pour cette année.

Versions :

Pas de version pour ce développement.