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.
BSD License

Extra 0

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

Topics

Theories of Trie