連続体の計算可能性理論 (形式体系と計算理論)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 木原 貴行

  東北大学理学研究科数学専攻

• 木原 貴行

  東北大学大学院理学研究科数学専攻

関連論文

• 連続体の計算可能性理論 (形式体系と計算理論--RIMS共同研究報告集)
• 逆再帰理論と逆数学に関して (証明論と論理・計算の構造)
• 連続体の計算可能性理論 (形式体系と計算理論)
• 実数の集合論とランダムネス : 概説 (証明論と複雑性)
• ボレル関数の分解問題への計算論の応用 (理論計算機科学の新展開)

スポンサーリンク