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.


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.


Theories of Trie