Characterization of Kurtz randomness by a differentiation theorem

タイトル
Characterization of Kurtz randomness by a differentiation theorem

種類
口頭発表(special session speakerとして招待)

発表場所
Twelfth Asian Logic Conference
15-20 December 2011, Wellington

この発表は同タイトルの論文”Algorithmic randomness over general spaces”に基づいています。

ダウンロード
スライド