カントール空間上の非空実効的閉集合の次数構造 (形式体系と計算理論)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 樋口 幸治郎

  東北大学大学院理学研究科

関連論文

• カントール空間上の非空実効的閉集合の次数構造 (形式体系と計算理論)
• Values on generalized reachability games (Proof theory and complexity)

スポンサーリンク