Logiciel Année : 2024

Kruskal-Higman

Dominique Larchey-Wendling

Résumé

This library is an extension of Kruskal-AlmostFull. It contains a detailed and expanded constructive/inductive proof of Higman's lemma.
25 Consultations
0 Téléchargements

Partager

More