書誌情報	ファイル
A Variable Priority Queue and its Applications   Suzuki, Hitoshi; Nishizeki, Takao; Saito, Nobuji (1987-05)   数理解析研究所講究録, 625: 176-185
A Two-Phase Locking Mechanism Avoiding Deadlock for Read-Write Confliction   Zhong, Xingguo; Kambayashi, Yahiko (1987-05)   数理解析研究所講究録, 625: 186-195
FIFOキューを同期手段とする並列プログラムの実行における同期のためのオーバーヘッドの削減について(計算アルゴリズムの基礎理論)   永松, 正博; 有田, 五次郎 (1987-05)   数理解析研究所講究録, 625: 196-205
シストリックアルゴリズムの定式化とその結線構造(計算アルゴリズムの基礎理論)   阿曽, 弘具; 稲垣, 康善 (1987-05)   数理解析研究所講究録, 625: 206-215
多次元プロセッサ配列上の並列ソートと時間計算量(計算アルゴリズムの基礎理論)   嵯峨, 幸治; 佐渡, 一広; 五十嵐, 善英 (1987-05)   数理解析研究所講究録, 625: 216-225
重み付 positine submodular system の辞書式最適基を得るための貪欲アルゴリズムについて(計算アルゴリズムの基礎理論)   岩村, 覚三; 出口, 洋三; 中山, 隆 (1987-05)   数理解析研究所講究録, 625: 226-232
Approximation Reduction and Approximation Rules of Term Rewriting Systems   NAOI, Tohru; INAGAKI, Yasuyoshi (1987-05)   数理解析研究所講究録, 625: 233-241
Counterexamples to Termination for the Direct Sum of Term Rewriting Systems   TOYAMA, Yoshihito (1987-05)   数理解析研究所講究録, 625: 242-246
Parallel Reductions in $\lambda$-Calculus   Takahashi, Masako (1987-05)   数理解析研究所講究録, 625: 247-256
Semantics of Joins of Knowledge Bases   TOYAMA, Katsuhiko; INAGAKI, Yasuyoshi (1987-05)   数理解析研究所講究録, 625: 257-265
様相論理に基づく論理型知識表現言語(計算アルゴリズムの基礎理論)   岩沼, 宏治; 原尾, 政輝; 武田, 和久 (1987-05)   数理解析研究所講究録, 625: 266-275
回路自動合成のための推論機構(計算アルゴリズムの基礎理論)   岩沼, 宏治; 原尾, 政輝 (1987-05)   数理解析研究所講究録, 625: 276-286