Publisher
Springer International Publishing
Reference24 articles.
1. H. Abelson, G.J. Sussman, J. Sussman, Structure and Interpretation of Computer Programs, 2nd edn. (MIT Press, Cambridge, 1996)
2. Y. Bertot, P. Castéran, Interactive Theorem Proving & Program Development (Springer, Berlin, 2004)
3. M. Blum, On the size of machines. Inf. Control 11, 257–265 (1967)
4. C. Calude, Information and Randomness (Springer, Berlin, 2002), pp. 362–363
5. G. Chaitin. Information, Randomness, and Incompleteness (World Scientific, Singapore, 1987)