Binary Lambda Calculus and Combinatory Logic.” Sep 14, 2004. http://homepages. cwi.nl/ ∼ tromp/cl/LC.pdf [64] Tadaki, K. “Upper bound by Kolmogorov complexity for the probability (2003)

by John Tromp
Venue:in computable POVM measurement.” Proceedings of the 5th Conference on Real Numbers and Computers, RNC5
Citations:9 - 0 self

Documents Related by Co-Citation

320 Algorithmic information theory – G. J. Chaitin - 1977
5978 A mathematical theory of communication – C E Shannon - 1948
3 The Systematic Construction of a One-Combinator Basis – J. Fokker, Vakgroep Nformatica, Jeroen Fokker - 1989
333 A Theory of Program Size Formally Identical to Information Theory – Gregory J. Chaitin - 1975
102 A Note on the Entscheidungsproblem – A Church - 1936
532 Three approaches to the quantitative definition of information – A N Kolmogorov - 1965
1689 An introduction to Kolmogorov Complexity and its Applications: Preface to the First Edition – Ming Li, Paul Vitanyi - 1997
226 On the Length of Programs for Computing Finite Binary Sequences – Gregory J. Chaitin - 1966
2 Testing an optimising compiler by generating random lambda terms – Michal H Palka, Koen Claessen, Alejandro Russo, John Hughes - 2011
728 G.: Structure and Interpretation of Computer Programs – H Abelson, Sussman - 1985
2 Iota and Jot: the simplest languages?” 2001.http://ling.ucsd.edu/~barker/Iota/ [2] Barker, C. “Zot.” 2002.http://ling.ucsd.edu/~barker/Iota/zot.html [3] Calude, C. S. Information and Randomness - An Algorithmic Perspective. 2nd Edition, Revised and Extend – C Barker - 2002
1 paper.html [18 – July, October - 1948
19 The Theory of Group-Reduced Distributions – H Redfield - 1927
41 The discovery of algorithmic probability – Ray J. Solomonoff - 1997
50 A preliminary report on a general theory of inductive inference – R. J. Solomonoff - 1960
3 The Complexity of finite objects and the Algorithmic – A K Zvonkin, L A Levin - 1970
4 Information and Randomness: An Algorithmic Perspective (Texts – Cristian S Calude - 2002
7 On the Kolmogorov-Chaitin Complexity for short sequences – Jean-paul Delahaye, Hector Zenil - 2007
1 eds) Handbook of the Philosophy of Information – K Kelly, Ockhams Razor, Truth, in J van Behthem Information, P Adriaans