Generalizing Kruskal's theorem to pairs of cohabitating trees.

Timothy J. Carlson

Published in: Arch. Math. Log. (2016)

Keyphrases

pairwise
decision trees
tree structures
tree structure
von neumann
database
real time
search algorithm
phylogenetic trees
unordered trees