3 results
Enumerations of the Kolmogorov function
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-528
- Print publication:
- June 2006
-
- Article
- Export citation
Michael Sipser. Introduction to the theory of computation. PWS Publishing Company, Boston etc. 1997, xv + 396 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, p. 403
- Print publication:
- March 1999
-
- Article
- Export citation
Shafi Goldwasser, Silvio Micali, and Charles Rackoff. The knowledge complexity of interactive proof systems. SIAM journal on computing, vol. 18 (1989), pp. 186–208. - Oded Goldreich, Silvio Micali, and Avi Wigderson. Proofs that release minimum knowledge. Mathematical foundations of computer science 1986, Proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25–29, 1986, edited by J. Gruska, B. Rovan, and J. Wiedermann, Lecture notes in computer science, vol. 233, Springer-Verlag, Berlin, Heidelberg, New York, etc., 1986, pp. 639–650. - Oded Goldreich. Randomness, interactive proofs, and zero-knowledge—a survey. The universal Turing machine, A half-century survey, edited by Rolf Herken, Kammerer & Unverzagt, Hamburg and Berlin, and Oxford University Press, Oxford and New York, 1988, pp. 377–405.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 3 / September 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1092-1094
- Print publication:
- September 1991
-
- Article
- Export citation