江口 直日 | 東北大学理学研究科

スポンサーリンク

概要

• 江口 直日の詳細を見る
• 同名の論文著者
• 東北大学理学研究科の論文著者

関連著者

• 江口 直日

  東北大学理学研究科

• Weiermann Andreas

  Department of Mathematics, Ghent University

著作論文

• A Simplified Characterisation of Provably Computable Functions of the System ID$_1$ of Inductive Definitions : Extended Abstract (Proof theory and complexity)

スポンサーリンク