Key Assertions and Backward Substitutions (アルゴリズムにおける証明論)

スポンサーリンク

概要

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

著者

• 高須 達

  京都大学数理解析研究所

関連論文

• 論理と計算 : IFIP Congress'86パネル討論CSP2報告
• A Logical Basis for Programming Methodology (II) (Mathematical Studies of Information Processing)
• Key Assertions and Backward Substitutions (アルゴリズムにおける証明論)
• On the Key Assertions (プログラムの基礎理論)

スポンサーリンク