A proof of Marton's coding theorem for the discrete memoryless broadcast channel.

Abbas A. El Gamal Edward C. van der Meulen

Published in: IEEE Trans. Inf. Theory (1981)

Keyphrases

interactive theorem proving
error control
coding scheme
parity check
channel errors
error detection and correction
multi channel
linear logic
theorem proving
data broadcasting
turbo codes
inter frame
joint source channel
communication channels
multiple description
digital television