Trie

Andreas Lochbihler 🌐 and Tobias Nipkow 🌐

March 30, 2015

Abstract

This article formalizes the “trie” data structure invented by Fredkin [CACM 1960]. It also provides a specialization where the entries in the trie are lists.

License

BSD License

Extra 0

Origin: This article was extracted from existing articles by the authors.

Topics

Session Trie

Used by

Cite

× 
@article{Trie-AFP,
  author  = {Andreas Lochbihler and Tobias Nipkow},
  title   = {Trie},
  journal = {Archive of Formal Proofs},
  month   = {March},
  year    = {2015},
  note    = {\url{https://isa-afp.org/entries/Trie.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: