A proof of the tree alternative conjecture under the topological minor relation.

Jorge Bruno Paul Szeptycki

Published in: J. Comb. Theory, Ser. B (2023)

Keyphrases

tree structure
theorem prover
graph structure
phylogenetic trees
tree models
database
data sets
multi dimensional
index structure
b tree
inference rules
binary relations
topological properties
binary tree
tree construction