Théorème de Higman : Différence entre versions
De AgregmathKL
(→Développement) |
|
| (Une révision intermédiaire par le même utilisateur non affichée) | |
(Aucune différence)
| |
Version actuelle en date du 31 mars 2015 à 13:54
Les antichaînes sont finies.
Développement
Recasements
Références
- Bruno Petazzoni, 16 problèmes d'informatique
