Huffman

MaRDI QIDQ43929swMATHFDO

Authors Jasmin Christian Blanchette

Publication date 15 October 2008

Official website https://www.isa-afp.org/entries/Huffman.html

Cited in

(1)

• Proof pearl: Mechanizing the textbook proof of Huffman's algorithm

This page was built for software: Huffman