Théorème de Higman
De AgregmathKL
Les antichaînes sont finies.
Développement
Recasements
Références
- Bruno Petazzoni, 16 problèmes d'informatique
- Dernière modification de cette page le 31 mars 2015 à 13:54.
- Cette page a été consultée 12 087 fois.
