On well-quasi-ordering finite trees 论文

摘要

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