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 - Jasmin - Document - PDFSEARCH.IO

First Page	Meta Content
	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

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