Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: Trie


view this post on Zulip 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: Mar 29 2024 at 12:28 UTC