Login / Signup
-Calculus on Finite Trees.
Balder ten Cate
Gaëlle Fontaine
Published in:
FoSSaCS (2010)
Keyphrases
</>
decision trees
real numbers
finite number
learning algorithm
tree structure
social networks
data structure
tree construction
automated theorem proving
tree nodes
algebraic structure
provably correct