Hiproofs: A Hierarchical Notion of Proof Tree.

Ewen Denney John Power Konstantinos Tourlas

Published in: MFPS (2005)

Keyphrases

binary tree
hierarchical structure
hierarchical tree
tree structure
internal nodes
tree models
precise definition
mathematical proofs
data sets
data mining
relational databases
hierarchical clustering
tree structures
tree search
hierarchical classification
tree representation