A bijection from ordered trees to binary trees that sends the pruning order to the Strahler number
In this beautiful note a bijective proof for the following fact is given: The number of ordered trees with n vertices and pruning order k equals the number of binary trees with n leaves and Strahler number k.
scientific article; zbMATH DE number 4148112
scientific article