Fixed Point Theorems on Partial Randomness

Kohtaro Tadaki. Fixed Point Theorems on Partial Randomness. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Volume 5407 of Lecture Notes in Computer Science, pages 422-440, Springer, 2009. [doi]

Abstract

Abstract is missing.