五十嵐 滋 | 京都大学数理解析研究所
スポンサーリンク
概要
関連著者
著作論文
- プログラムの検証理論
- 「花」ゲーム : 型のある論理に基づく表現と解析 (アルゴリズムにおける証明論)
- A Natural Deduction System for Assertions (アルゴリズムにおける証明論)
- Two Formal Systems for Proving Assertions About Programs (プログラムの基礎理論)
- ALGOL型プログラム言語における意味論と証明論 (プログラムの基礎理論)