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