Ordre de simplification / Lemme de Highman / Théorème de Kruskal

De AgregmathKL
Révision de 31 mars 2015 à 14:12 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

On montre avec beaucoup d'efforts pour un développement, qu'un ordre de simplification et une signature finie entraînent la bien-fondaison.

Recasement

Développement