How to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning

Chi-Leung Wong, Zehra Sura, et al.

I-SPAN 2002

Joel L. Wolf, Mark S. Squillante, et al.

IEEE Transactions on Knowledge and Data Engineering

Robert C. Durbeck

IEEE TACON

J.P. Locquet, J. Perret, et al.

SPIE Optical Science, Engineering, and Instrumentation 1998