Bi-inductive structural semantics
- 作者Patrick Cousot; Radhia Cousot
- 卷第207卷
- 期第2期
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小519.19KB
- 发表时间2009
- DOI10.1016/j.ic.2008.03.025
- 页码258-283
Signal Recovery on Incoherent ManifoldsHegde, C.; Baraniuk, R. G. · IEEE Transactions on Information Theory · 2012
Caching in Wireless NetworksNiesen, Urs; Shah, Devavrat; Wornell, Gregory W. · IEEE Transactions on Information Theory · 2012
The Multiway Relay ChannelGunduz, Deniz; Yener, Aylin; Goldsmith, Andrea; Poor, H. Vincent · IEEE Transactions on Information Theory · 2013
Diversity of MMSE MIMO ReceiversMehana, Ahmed Hesham; Nosratinia, Aria · IEEE Transactions on Information Theory · 2012
Ergodic Interference AlignmentNazer, Bobak; Gastpar, Michael; Jafar, Syed Ali; Vishwanath, Sriram · IEEE Transactions on Information Theory · 2012
Minimal trellises for block codesMuder, D.J. · IEEE Transactions on Information Theory · 1988
Covering Numbers for Convex FunctionsGuntuboyina, Adityanand; Sen, Bodhisattva · IEEE Transactions on Information Theory · 2013
Trellis shapingForney, G.D. · IEEE Transactions on Information Theory · 1992