Maximal Order Type and Width of the h-Preorder on Finite Labeled Trees

Abstract

We establish tight bounds for the width and maximal order type of the h-preorder on Q-labeled trees in terms of the corresponding invariants of well-quasi-order Q.

arXiv comment12 pages