On well-quasi-ordering finite trees

Abstract
A new and simple proof is given of the known theorem that, if T1, T2,… is an infinite sequence of finite trees, then there exist i and j such that i < j and Ti is homeomorphic to a subtree of Tj.

This publication has 3 references indexed in Scilit: