Théorème de Higman : Différence entre versions
De AgregmathKL
(→Développement) |
(→Développement) |
||
| Ligne 4 : | Ligne 4 : | ||
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_higman.tex | Théorème de Higman]] | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_higman.tex | Théorème de Higman]] | ||
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_higman.pdf | Théorème de Higman]] | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_higman.pdf | Théorème de Higman]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
== Recasements == | == Recasements == | ||
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
