Théorème de Higman

De AgregmathKL
Révision de 31 mars 2015 à 13:54 par Frédéric Valet (discuter | contributions) (→‎Développement)

(diff) ← Version précédente | Voir la version courante (diff) | Version suivante → (diff)
Aller à : navigation, rechercher

Les antichaînes sont finies.

Développement

Recasements

Références

  • Bruno Petazzoni, 16 problèmes d'informatique
Récupérée de « https://minerve.ens-rennes.fr/index.php?title=Théorème_de_Higman&oldid=2823 »