préordres sur les arbres associés à des ensembles inévitables et preuves de terminaison de systèmes de réécriture. Thèse d’Etat (1987)

by L Bon Puel
Venue:Université de Paris VII. WHAT’S SO SPECIAL ABOUT KRUSKAL’S THEOREM