Ryosuke Obi, Manabu Hagiwara, Reynald Affeldt. Formalization of the variable-length source coding theorem: Direct part. In International Symposium on Information Theory and its Applications, ISITA 2014, Melbourne, Australia, October 26-29, 2014. pages 201-205, IEEE, 2014. [doi]
@inproceedings{ObiHA14,
title = {Formalization of the variable-length source coding theorem: Direct part},
author = {Ryosuke Obi and Manabu Hagiwara and Reynald Affeldt},
year = {2014},
url = {http://ieeexplore.ieee.org/document/6979832/},
researchr = {https://researchr.org/publication/ObiHA14},
cites = {0},
citedby = {0},
pages = {201-205},
booktitle = {International Symposium on Information Theory and its Applications, ISITA 2014, Melbourne, Australia, October 26-29, 2014},
publisher = {IEEE},
}