Verified Analysis of Random Binary Tree Structures.

Manuel Eberl Max W. Haslbeck Tobias Nipkow

Published in: J. Autom. Reason. (2020)

Keyphrases

tree structures
data analysis
tree representation
data sets
data mining
data management
similarity search