Théorème de Higman

De AgregmathKL

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

909 -- Langages rationnels. Exemples et applications.

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=2817 »

Développement de la leçon 909