書誌情報	ファイル
入力制約を用いた論理回路の形式的検証について(計算機科学の基礎理論)   木村, 晋二; 安浦, 寛人; 矢島, 脩三 (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