list | abstracts | bib | http ]

Binary Search Trees

Citation

Viktor Kuncak. Binary search trees. The Archive of Formal Proofs, April 2004. Formal proof development.

BibTex Entry

@MISC{Kuncak04BinarySearchTrees,
  author = {Viktor Kuncak},
  title = {Binary Search Trees},
  howpublished = {The Archive of Formal Proofs},
  url = {http://afp.sourceforge.net/entries/BinarySearchTree.shtml},
  month = {April},
  note = {Formal proof development},
  year = 2004
}

list | abstracts | bib | http ]