Login / Signup

-Calculus on Finite Trees.

Balder ten CateGaë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