Théorème de Higman

De AgregmathKL
Aller à : navigation, rechercher

Les antichaînes sont finies.

Développement

Recasements

Références

  • Bruno Petazzoni, 16 problèmes d'informatique