This is a preview. Log in through your library . Abstract The first-order theory of arborescent structures is shown to be completely faithfully interpretable in the first-order theory of trees. It ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results