Weiermann Andreas | Department of Mathematics, Ghent University

スポンサーリンク

概要

• Weiermann Andreasの詳細を見る
• 同名の論文著者
• Department of Mathematics, Ghent Universityの論文著者

関連著者

• 江口 直日

  東北大学理学研究科

• 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)

スポンサーリンク