Back to Results
First PageMeta Content
Huffman coding / Computing / Tree / B-tree / T-tree / Adaptive Huffman coding / Binary trees / Graph theory / Mathematics


Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm Jasmin Christian Blanchette
Add to Reading List

Document Date: 2015-01-25 16:18:54

Open Document

File Size: 392,82 KB

Share Result on Facebook

/

IndustryTerm

recursive law cost / /

Organization

J. C. Blanchette Institut f¨ur Informatik / /

Person

Thomas Cormen / David Huffman / Laurent Th´ery / Leaf / Donald Knuth / /

/

Position

editor / wb / frequency wb / /

ProgrammingLanguage

C / /

Technology

functional programming / ASCII / /

URL

www.springerlink.com / /

SocialTag