Lemme des paires critiques
ref : terms rewriting and all that
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 920 | Réécriture et formes normales. Exemples.2017 |
| 4 | 919 | Unification : algorithmes et applications.2017 |
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 920 | Réécriture et formes normales. Exemples.2017 |
| 4 | 919 | Unification : algorithmes et applications.2017 |