コレクションホームページ
0119 プログラムの基礎理論
7
0119 プログラムの基礎理論
7
(http://hdl.handle.net/2433/100594)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 7 / 7
書誌情報 | ファイル |
---|---|
表紙・目次 (1971-07) 数理解析研究所講究録, 119 | |
On the Program Schemata with Meta-Flow (プログラムの基礎理論) SHA, A.; OKINAKA, I.; KAMBAYASHI, Y. (1971-07) 数理解析研究所講究録, 119: 1-27 | |
R.L. LondonによるR. Floydのソート・プログラムの正当性の証明について (プログラムの基礎理論) 筧, 捷彦 (1971-07) 数理解析研究所講究録, 119: 28-48 | |
Mathematical Theory of ComputationにおけるD. Scottの方法 (プログラムの基礎理論) 小野, 寛晰 (1971-07) 数理解析研究所講究録, 119: 49-62 | |
束準同形としてのプログラムと方程式解の一意性 (プログラムの基礎理論) 金山, 裕 (1971-07) 数理解析研究所講究録, 119: 63-80 | |
ALGOL型プログラム言語における意味論と証明論 (プログラムの基礎理論) 五十嵐, 滋 (1971-07) 数理解析研究所講究録, 119: 81-111 | |
プログラムの正当性を機械的に証明する一方法 (プログラムの基礎理論) 鈴木, 則久 (1971-07) 数理解析研究所講究録, 119: 112-132 |
文献一覧(目次の昇順ソート): 1 - 7 / 7