Login / Signup

On the formal points of the formal topology of the binary tree.

Silvio Valentini
Published in: Arch. Math. Log. (2002)
Keyphrases
  • binary tree
  • formal model
  • quadtree
  • tree representation
  • data points
  • point sets
  • formal methods
  • data sets
  • neural network
  • data structure
  • object recognition
  • formal specification