Collection home page

Studies of Numerical Algorithms and ??   33
(http://hdl.handle.net/2433/98215)

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