Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University
Paper
How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
Abstract
No abstract available.
Related
Liat Ein-Dor, Y. Goldschmidt, et al.
IBM J. Res. Dev
Yao Qi, Raja Das, et al.
ISSTA 2009
Conference paper
Identity delegation in policy based systems
Rajeev Gupta, Shourya Roy, et al.
ICAC 2006