Program Schemas without Gotos (アルゴリズムにおける証明論)

スポンサーリンク

概要

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

著者

• 金山 裕

  電気通信大学

関連論文

• Program Schemas without Gotos (アルゴリズムにおける証明論)
• Regular Expressionの同値性判定プログラム (オートマトン理論と数理言語の研究)
• A Formal System of Programs (プログラムの基礎理論)
• カウンタ機械の計算可能性 (情報科学の数学的理論)
• 束準同形としてのプログラムと方程式解の一意性 (プログラムの基礎理論)

スポンサーリンク