Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 篠田 寿一

  名古屋大学人間情報学研究科

関連論文

• Type 2 ObjectでのRecursion (ブール代数値の解析学と超準解析)
• Silver Machineについて (数学基礎論)
• KOLMOGOROV COMPLEXITY AND P-PRINTABLE SETS(Metamathematics and it's applications)
• A NOTE ON A POLYNOMIAL TIME REDUCIBILITY(Mathematical Logic and Applications'92)

スポンサーリンク