Huffman算法程序的形式化推导

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

Huffman算法程序的形式化推导

王昌晶;罗海梅;左正康;薛锦云;

Formal Derivation of Huffman Algorithm Program

WANG Chang-jing; LUO Hai-mei; ZUO Zheng-kang; XUE Jin-yun;

计算机工程 . 2010, (5): 49 -51 . DOI: 10.3969/j.issn.1000-3428.2010.05.018