Login / Signup
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