Développement #331
Titre : Lemme des paires critiques
Contenu : ref : terms rewriting and all that
Créé le : 23/07/2026 12:42
Mis à jour : 23/07/2026 12:42
| Qualité | Numéro | Titre |
|---|---|---|
| 4 | 919 | Unification : algorithmes et applications.2017 |
| 5 | 920 | Réécriture et formes normales. Exemples.2017 |