Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Trie

Email Gateway (Aug 22 2022 at 08:58):

From: Tobias Nipkow <nipkow@in.tum.de>
Trie
Andreas Lochbihler and Tobias Nipkow

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.

This entry was extracted from existing entries of the authors.

http://afp.sourceforge.net/entries/Trie.shtml
smime.p7s

Last updated: Apr 30 2025 at 08:27 UTC