Théorème de Higman : Différence entre versions
De AgregmathKL
(→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]] | ||
| + | |||
| + | |||
| + | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_higman_2.tex | Théorème de Higman]] | ||
| + | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_higman_2.pdf | Théorème de Higman]] | ||
== Recasements == | == Recasements == | ||
Version du 31 mars 2015 à 12:00
Les antichaînes sont finies.
Développement
Recasements
Références
- Bruno Petazzoni, 16 problèmes d'informatique
