A Natural Deduction System for Assertions (アルゴリズムにおける証明論)

スポンサーリンク

概要

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

著者

• 五十嵐 滋

  京都大学数理解析研究所

関連論文

• プログラムの検証理論
• 「花」ゲーム : 型のある論理に基づく表現と解析 (アルゴリズムにおける証明論)
• A Natural Deduction System for Assertions (アルゴリズムにおける証明論)
• Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論)
• ALGOL型プログラム言語における意味論と証明論 (プログラムの基礎理論)

スポンサーリンク