Login / Signup

Verified Root-Balanced Trees.

Tobias Nipkow
Published in: APLAS (2017)
Keyphrases
  • tree structure
  • decision trees
  • data structure
  • tree structures
  • real world
  • database
  • databases
  • artificial intelligence
  • multiscale
  • evolutionary algorithm
  • probabilistic model
  • nearest neighbor
  • tree automata
  • tree models