コレクションホームページ
0522 計算機科学の基礎理論
25
0522 計算機科学の基礎理論
25
(http://hdl.handle.net/2433/98067)
ブラウズ
文献一覧(目次の昇順ソート): 21 - 25 / 25
書誌情報 | ファイル |
---|---|
入力制約を用いた論理回路の形式的検証について(計算機科学の基礎理論) 木村, 晋二; 安浦, 寛人; 矢島, 脩三 (1984-05) 数理解析研究所講究録, 522: 266-279 | |
異なる並行制御方式を持つデータベースシステムの統合(計算機科学の基礎理論) 近藤, 誠一; 上林, 弥彦 (1984-05) 数理解析研究所講究録, 522: 280-294 | |
結合節付加による不等号質問の処理(計算機科学の基礎理論) 吉川, 正俊; 上林, 弥彦 (1984-05) 数理解析研究所講究録, 522: 295-307 | |
A relation between the size of term and the number of reduction steps in lambda calculus computations Hirokawa, Sachio (1984-05) 数理解析研究所講究録, 522: 308-322 | |
Dynimic logic の first-order infinitary logic への還元(計算機科学の基礎理論) 三浦, 聰 (1984-05) 数理解析研究所講究録, 522: 323-337 |
文献一覧(目次の昇順ソート): 21 - 25 / 25