Trie.

Andreas Lochbihler Tobias Nipkow

Published in: Arch. Formal Proofs (2015)

Keyphrases

data structure
dynamic programming
data sets
databases
pairwise
pattern recognition
alphabet size
database
object recognition