Théorème de Higman

De AgregmathKL

Révision de 26 février 2015 à 21:24 par Mathias Millet (discuter | contributions)

(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=2712 »

Développement de la leçon 909