コレクションホームページ
0666 計算アルゴリズムと計算量の基礎理論
33
0666 計算アルゴリズムと計算量の基礎理論
33
(http://hdl.handle.net/2433/98215)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 33
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 20 / 33