相殺公理のための完全な推論体系(計算アルゴリズムと計算量の基礎理論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 坂井 公

  Icot

• Hsiang Jieh

  SUNY at Stony Brook

• Rusinowitch Michael

  CRIN

• 坂井 公

  SUNY at Stony Brook

関連論文

• 相殺公理のための完全な推論体系(計算アルゴリズムと計算量の基礎理論)
• 83-25 無限木の基本的特性

スポンサーリンク