Trie

Andreas Lochbihler ๐ŸŒ and Tobias Nipkow ๐ŸŒ

March 30, 2015

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

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