書誌情報	ファイル
表紙・目次    (1988-07)   数理解析研究所講究録, 666
初等トポスでのプログラムの公理的意味論(計算アルゴリズムと計算量の基礎理論)   河原, 康雄; 溝口, 佳寛 (1988-07)   数理解析研究所講究録, 666: 1-7
連続動作代数に基づく項書換え系の意味論(計算アルゴリズムと計算量の基礎理論)   直井, 徹; 稲垣, 康善 (1988-07)   数理解析研究所講究録, 666: 8-17
Termination for the Direct Sum of Left-Linear Term Rewriting Systems : Preliminary Draft   Toyama, Yoshihito (1988-07)   数理解析研究所講究録, 666: 18-28
Boolean Grobner Bases   Sakai, Ko; Sato, Yosuke (1988-07)   数理解析研究所講究録, 666: 29-40
系列集合と時間の階層の関係について(計算アルゴリズムと計算量の基礎理論)   木村, 晋二; 羽根田, 博正 (1988-07)   数理解析研究所講究録, 666: 41-50
組合せ論理回路のハザード検出問題の計算複雑さについて(計算アルゴリズムと計算量の基礎理論)   石浦, 菜岐佐; 安浦, 寛人 (1988-07)   数理解析研究所講究録, 666: 51-60
A Note on Collapsing Bounded Query Classes   IZUMI, Masa-aki; KOBAYASHI, Kojiro (1988-07)   数理解析研究所講究録, 666: 61-70
2次元マーカオートマトンのある性質 : 3方向チューリング機械による模倣(計算アルゴリズムと計算量の基礎理論)   Ito, Akira; Inoue, Katsushi; Takanami, Itsuo (1988-07)   数理解析研究所講究録, 666: 71-80
Some basic results about probabilistic pushdown automata   陳, 致中; 笠井, 琢美 (1988-07)   数理解析研究所講究録, 666: 81-90
辞書式順序で最初の極大部分グラフを計算する問題のP完全性とNCアルゴリズム(計算アルゴリズムと計算量の基礎理論)   宮野, 悟 (1988-07)   数理解析研究所講究録, 666: 91-100
A Rich Hierarchy on the Time Complexity of Uniform PRAMs   Iwama, Kazuo (1988-07)   数理解析研究所講究録, 666: 101-104
ループプログラムのハードウェア化(計算アルゴリズムと計算量の基礎理論)   阿曽, 弘具 (1988-07)   数理解析研究所講究録, 666: 105-114
Area-Time Efficient Evaluation of Elementary Functions   OKABE, Yasuo; YAJIMA, Shuzo (1988-07)   数理解析研究所講究録, 666: 115-124
単項演算に対する局所計算可能な符号化(計算アルゴリズムと計算量の基礎理論)   安浦, 寛人 (1988-07)   数理解析研究所講究録, 666: 125-134
デフォルト推論における自然な拡張と帰納推論(計算アルゴリズムと計算量の基礎理論)   湯浅, 寛子 (1988-07)   数理解析研究所講究録, 666: 135-144
相殺公理のための完全な推論体系(計算アルゴリズムと計算量の基礎理論)   坂井, 公 (1988-07)   数理解析研究所講究録, 666: 145-157
代数的手法を用いたハードウェアの仕様記述とその詳細化について(計算アルゴリズムと計算量の基礎理論)   杉山, 裕二; 横山, 昌生; 北道, 淳司; 谷口, 健一 (1988-07)   数理解析研究所講究録, 666: 158-167
領域制約の下でのゲーム木探索(計算アルゴリズムと計算量の基礎理論)   加藤, 芳朗; 茨木, 俊秀 (1988-07)   数理解析研究所講究録, 666: 168-179
リーダー選出問題における時間最小アルゴリズムについて(計算アルゴリズムと計算量の基礎理論)   大戸, 豊; 茨木, 俊秀 (1988-07)   数理解析研究所講究録, 666: 180-189