竹内 泉 | 東邦大学理学部

スポンサーリンク

概要

• 竹内 泉の詳細を見る
• 同名の論文著者
• 東邦大学理学部の論文著者

関連著者

• 竹内 泉

  東邦大学理学部

• 竹内 泉

  東京都立大学理学部

• 竹内 泉

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

• 竹内 泉

  東北大学工学研究科

著作論文

• 可能世界意味論に対する一批判(非古典論理とそのKripke意味論に関する諸問題)
• 並列合成の論理演算を持つ論理体系 (証明論と計算論)
• Effective Limit in Computable Analysis (Algebra, Logic and Geometry in Informatics)
• Systems of logic for necessity (Sequent Calculi and Proof Theory)
• THE NORMAL OPEN SET ALMOST EQUAL TO A REGULAR OMEGA LANGUAGE (Algorithms in Algebraic Systems and Computation Theory)
• 切断除去による計算可能性の証明(証明論と逆数学)
• $\lambda$ + 項の値の上限について(数理論理学とその応用)

スポンサーリンク