書誌情報	ファイル
表紙・目次    (1987-05)   数理解析研究所講究録, 625
Fredkinの論理ゲートを用いた可逆的Turing機械の設計(計算アルゴリズムの基礎理論)   後野, 由文; 森田, 憲一 (1987-05)   数理解析研究所講究録, 625: 1-10
DEADLOCK AVOIDANCE AND CONSISTENCY IN DATABASE SYSTEM   Khanobthamchai, Prasert; Okui, Jun (1987-05)   数理解析研究所講究録, 625: 11-20
対象集合によるネットワークデータベースの設計(計算アルゴリズムの基礎理論)   古川, 哲也; 上林, 彌彦 (1987-05)   数理解析研究所講究録, 625: 21-30
論理回路における閉路の切断について(計算アルゴリズムの基礎理論)   木村, 晋二; 羽根田, 博正 (1987-05)   数理解析研究所講究録, 625: 31-37
優先度付きトークンリング方式LANの「進行性」の検証について(計算アルゴリズムの基礎理論)   住谷, 忠雄; 東野, 輝夫; 谷口, 健一 (1987-05)   数理解析研究所講究録, 625: 38-47
CFGにおける並列性 : 多ヘッドCFG,部分同期CFG,および交代CFG(計算アルゴリズムの基礎理論)   守屋, 悦朗 (1987-05)   数理解析研究所講究録, 625: 48-54
Graph grammars with path controlled embedding   Aizawa, Kunio; Nakamura, Akira (1987-05)   数理解析研究所講究録, 625: 55-63
LISPの演算子について(計算アルゴリズムの基礎理論)   柳瀬, 龍郎 (1987-05)   数理解析研究所講究録, 625: 64-70
整礎集合上の部分関数の有限微分閉包について(計算アルゴリズムの基礎理論)   西澤, 輝泰 (1987-05)   数理解析研究所講究録, 625: 71-79
有限環上の線形セル構造オートマトン(計算アルゴリズムの基礎理論)   佐藤, 忠一 (1987-05)   数理解析研究所講究録, 625: 80-86
Generation of Rewriting Programs from Horn Clause Specifications   TOGASHI, Atsushi; MANSFIELD, Glenn; NOGUCHI, Shoichi (1987-05)   数理解析研究所講究録, 625: 87-97
融合型プログラミング言語と処理系の実現について(計算アルゴリズムの基礎理論)   三宅, 延久; 富樫, 敦; 野口, 正一 (1987-05)   数理解析研究所講究録, 625: 98-107
A Note on Three-Way Two-Dimensional Alternating Turing Machines   Ito, Akira; Inoue, Katsushi; Takanami, Itsuo (1987-05)   数理解析研究所講究録, 625: 108-117
On the power of alternations in space-bounded computations   Toda, Seinosuke (1987-05)   数理解析研究所講究録, 625: 118-131
Exponential Speedup by Vector Operations   Iwama, Kazuo (1987-05)   数理解析研究所講究録, 625: 132-136
木パッキング問題について(計算アルゴリズムの基礎理論)   増山, 繁 (1987-05)   数理解析研究所講究録, 625: 137-146
On Parallel Computation Time of Unification for Restricted Terms   OHKUBO, Masaaki; YASUURA, Hiroto; YAJIMA, Shuzo (1987-05)   数理解析研究所講究録, 625: 147-156
ゲーム木探索法SSSの非劣性について(計算アルゴリズムの基礎理論)   加藤, 芳朗; 茨木, 俊秀 (1987-05)   数理解析研究所講究録, 625: 157-166
ある種の平面有向ネットワークの多品種流問題について(計算アルゴリズムと計算量の基礎理論)   永持, 仁; 茨木, 俊秀; 長谷川, 利治 (1987-05)   数理解析研究所講究録, 625: 167-175