プログラムの基礎理論
著者
書誌事項
プログラムの基礎理論
(数理解析研究所講究録, 119)
京都大学数理解析研究所, 1971.7
- タイトル読み
-
プログラム ノ キソ リロン
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
プログラムの基礎理論研究会報告集(1971年3月22日-3月24日)
収録内容
- On the program schemata with meta-flow / [謝章文], I. Okinaka, [上林弥彦]
- R.L. LondonによるR. Floydのソート・プログラムの正当性の証明について / 筧捷彦
- Mathematical theory of computationにおけるD. Scottの方法 / 小野寛晰
- 束準同形としてのプログラムと方程式解の一意性 / 金山裕
- ALGOL型プログラム言語における意味論と証明論 / 五十嵐滋
- プログラムの正当性を機械的に証明する一方法 / 鈴木則久