書誌情報	ファイル
表紙・目次    (1985-04)   数理解析研究所講究録, 556
On the Nested Heap Structure in Smoothsort(Mathematical Foundations of Computer Science and Their Applications)   Noshita, Kohei; Nakatani, Yoshinobu (1985-04)   数理解析研究所講究録, 556: 1-16
垂直型3層チャネル配線アルゴリズムについて(計算機科学の基礎理論とその応用)   永松, 正博 (1985-04)   数理解析研究所講究録, 556: 17-36
EFFICIENT IMPLEMENTATIONS OF PARALLEL SORT ALGORITHMS ON A MESH-CONNECTED PROCESSOR ARRAY(Mathematical Foundations of Computer Science and Their Applications)   Igarashi, Yoshihide; Sado, Kazuhiro; Adachi, Noriaki (1985-04)   数理解析研究所講究録, 556: 37-48
A Distributed Algorithm for Deadlock Detection in Replicated Database Systems(Mathematical Foundations of Computer Science and Their Applications)   Ogata, Masanobu; Sugihara, Kazuo; Kikuno, Tohru (1985-04)   数理解析研究所講究録, 556: 49-58
データベースシステムの同時処理制御における直列可能性のいくつかのクラスについて(計算機科学の基礎理論とその応用)   木庭, 淳; 室, 章治郎; 長谷川, 利治 (1985-04)   数理解析研究所講究録, 556: 59-70
条件式グラフの変形による分散データベースの質問処理(計算機科学の基礎理論とその応用)   吉川, 正俊; 上林, 弥彦 (1985-04)   数理解析研究所講究録, 556: 71-80
ネットワークデータベースにおける選択・射影・結合質問の処理(計算機科学の基礎理論とその応用)   古川, 哲也; 上林, 彌彦 (1985-04)   数理解析研究所講究録, 556: 81-92
Redundant Coding and Local Computability in Parallel Computation(Mathematical Foundations of Computer Science and Their Applications)   Yasuura, Hiroto; Takagi, Naofumi; Yajima, Shuzo (1985-04)   数理解析研究所講究録, 556: 93-103
論理回路機能の時間的関係の記述と検証(計算機科学の基礎理論とその応用)   木村, 晋二; 矢島, 脩三 (1985-04)   数理解析研究所講究録, 556: 104-115
Some system for map generation(Mathematical Foundations of Computer Science and Their Applications)   Nakamura, Akira; Aizawa, Kunio (1985-04)   数理解析研究所講究録, 556: 116-121
Complexity of Combinator Reduction Machine(Mathematical Foundations of Computer Science and Their Applications)   Hirokawa, Sachio (1985-04)   数理解析研究所講究録, 556: 122-146
形付項書き換えシステム(計算機科学の基礎理論とその応用)   外山, 芳人 (1985-04)   数理解析研究所講究録, 556: 147-150
項書き換えシステムの簡約化戦略について(計算機科学の基礎理論とその応用)   直井, 徹; 山下, 雅史; 茨木, 俊秀; 本多, 波雄 (1985-04)   数理解析研究所講究録, 556: 151-162
STRUCTURAL ANALYSIS OF ANTOMATA NETWORK : STRUCTURALLY REDUCED NETWORK(Mathematical Foundations of Computer Science and Their Applications)   Nishio, H.; Saito, T.; Morita, K. (1985-04)   数理解析研究所講究録, 556: 163-170
Similarity Relation between Automata Networks(Mathematical Foundations of Computer Science and Their Applications)   SAITO, Takashi; NISHIO, Hidenosuke (1985-04)   数理解析研究所講究録, 556: 171-176
プログラミング言語PL/0の代数的仕様記述(計算機科学の基礎理論とその応用)   北, 英彦; 坂部, 俊樹; 稲垣, 康善 (1985-04)   数理解析研究所講究録, 556: 177-186
相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)   村上, 昌己; 稲垣, 康善 (1985-04)   数理解析研究所講究録, 556: 187-196
非決定性同時計算量について(計算機科学の基礎理論とその応用)   守屋, 悦朗; 岩田, 茂樹; 笠井, 琢美 (1985-04)   数理解析研究所講究録, 556: 197-208
Positive relativizations of low level complexity classes(Mathematical Foundations of Computer Science and Their Applications)   戸田, 誠之助 (1985-04)   数理解析研究所講究録, 556: 209-218