古典命題論理における Curry-Howard の対応と強停止性

スポンサーリンク

概要

• 論文の詳細を見る
• 愛知学院大学の論文
• 1994-03-30

著者

• 久馬 栄道

  愛知学院大学

関連論文

• NP完全問題を解く決定性アルゴリズム
• ガジェット・コンピュータはNP完全問題を高速で解くか?
• ブール関数をオラクルに持つ多項式時間階層について
• 部分集合和問題と複写アルゴリズム
• Frequency Circuit Complexity
• 型付きラムダ計算自然数の2進表現計算量の理論
• 古典命題論理における Curry-Howard の対応と強停止性

スポンサーリンク