タイトル
Degree of non-randomness and uniform Solovay reducibility
種類
口頭発表
発表場所
証明論と計算論の数理科学への展開
2011年2月23日(水)
岩沼屋@仙台
ダウンロード
slide
宮部賢志(ミヤベケンシ)
タイトル
Degree of non-randomness and uniform Solovay reducibility
種類
口頭発表
発表場所
証明論と計算論の数理科学への展開
2011年2月23日(水)
岩沼屋@仙台
ダウンロード
slide