Verified Analysis of Random Binary Tree Structures.

Manuel Eberl Max W. Haslbeck Tobias Nipkow

Published in: ITP (2018)

Keyphrases

tree structures
tree structure
database
databases
neural network
decision trees
similarity measure
data analysis
relational data