REASONING ABOUT RECURSIVELY DEFINED DATA-STRUCTURES

被引：42

作者：

OPPEN, DC

机构：

来源：

关键词：

D O I：

10.1145/322203.322204

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：403 / 427

页数：25

共 20 条

[1]

ALTENKAMP D, 1978, CODES UNEQUAL PROBAB

[2]

ASH R, 1965, INFORMATION THEORY

[3]

BAUER FL, 1971, INFORMATIK HEIDELBER

[4]

BAYER PJ, 1975, TM69 MAC MIT PROJ

[5]

COT N, 1977, THESIS STANFORD U ST

[6] SIMPLE PROOFS OF SOME THEOREMS ON NOISELESS CHANNELS [J].

CSISZAR .

INFORMATION AND CONTROL, 1969, 14 (03) :285-&

[7]

FREDMAN ML, 1975, 7TH P ANN ACM C THEO

[8] VARIABLE-LENGTH BINARY ENCODINGS [J].

GILBERT, EN ;

MOORE, EF .

BELL SYSTEM TECHNICAL JOURNAL, 1959, 38 (04) :933-967

HU, TC ;

TUCKER, AC .

[10] A METHOD FOR THE CONSTRUCTION OF MINIMUM-REDUNDANCY CODES [J].

HUFFMAN, DA .

PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1952, 40 (09) :1098-1101