Collection home page

0906 アルゴリズムと計算量理論   36
(http://hdl.handle.net/2433/59336)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 36
BibliographyContents
表紙・目次
   (1995-04)
  数理解析研究所講究録, 906
file type icon
Isomorphism of restricted chain-like graphs
  Yamazaki, Koichi (1995-04)
  数理解析研究所講究録, 906: 1-5
file type icon
A Simple Near Optimal Parallel Algorithm for Recognizing Outerplanar Graphs
  Nakayama, Shin-ichi, Masuyama, Shigeru (1995-04)
  数理解析研究所講究録, 906: 6-13
file type icon
ジャンケンのトーナメント表現と意味のある拡張(アルゴリズムと計算量理論)
  伊藤, 大雄, 永持, 仁 (1995-04)
  数理解析研究所講究録, 906: 14-23
file type icon
巡回セールスマン問題(Traveling Salesman Problem)の貪欲アルゴリズムについて(アルゴリズムと計算量理論)
  横山, 光一 (1995-04)
  数理解析研究所講究録, 906: 24-31
file type icon
マルチエージェントの知識論理における多様相化した推論の正当性について(アルゴリズムと計算量理論)
  Mori, Masao (1995-04)
  数理解析研究所講究録, 906: 32-38
file type icon
ファジィ関係代数とその表現定理について(アルゴリズムと計算量理論)
  古澤, 仁, 河原, 康雄 (1995-04)
  数理解析研究所講究録, 906: 39-46
file type icon
規則限定Resolutionにより証明可能な命題論理式の複雑さ(アルゴリズムと計算量理論)
  MIYANO, Eiji, IWAMA, Kazuo (1995-04)
  数理解析研究所講究録, 906: 47-54
file type icon
A Note on Alternating Pushdown Automata With Sublogarithmic Space
  Xu, Jianliang, Inoue, Katsushi, Wang, Yue, Ito, Akira (1995-04)
  数理解析研究所講究録, 906: 55-63
file type icon
Alternation for Two-Way(Inkdot) Multi-Counter Automata with Sublinear Space
  YOSHINAGA, Tsunehiro, INOUE, Katsushi (1995-04)
  数理解析研究所講究録, 906: 64-72
file type icon
Two Variations of Inductive Inference of Languages from Positive Data
  Tabe, Takashi, Zeugmann, Thomas (1995-04)
  数理解析研究所講究録, 906: 73-80
file type icon
Circuit Complexity of An Explicity Defined First Slice Function
  Tsukiji, Tatsuie (1995-04)
  数理解析研究所講究録, 906: 81-88
file type icon
対称関数の否定数限定回路計算量について(アルゴリズムと計算量理論)
  田中, 圭介, 西野, 哲朗 (1995-04)
  数理解析研究所講究録, 906: 89-95
file type icon
単調並べ換え関数について(アルゴリズムと計算量理論)
  神保, 秀司, 佐々木, 宏平, 山本, 佳典, 丸岡, 章 (1995-04)
  数理解析研究所講究録, 906: 96-103
file type icon
2次元オルタネイティングo(loglog m)領域計算量クラスの補集合に関する非閉包性(アルゴリズムと計算量理論)
  伊藤, 暁, 井上, 克司, 王, 躍 (1995-04)
  数理解析研究所講究録, 906: 104-111
file type icon
RIGHT CONGRUENCES FOR $\omega$-REGULAR LANGUAGES
  YAMASAKI, Hideki (1995-04)
  数理解析研究所講究録, 906: 112-118
file type icon
1次元可逆セル・オートマトンにおける一斉射撃問題の高速解(アルゴリズムと計算量理論)
  今井, 克暢, 森田, 憲一 (1995-04)
  数理解析研究所講究録, 906: 119-125
file type icon
周期1と2のリミットサイクルをもつセルオートマトンについて(アルゴリズムと計算量理論)
  井口, 修一, 河原, 康雄 (1995-04)
  数理解析研究所講究録, 906: 126-131
file type icon
知識命題の標準形を用いる妥当性検証(アルゴリズムと計算量理論)
  大芝, 猛, 小橋, 一秀 (1995-04)
  数理解析研究所講究録, 906: 132-137
file type icon
自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論)
  高橋, 英之, 山下, 正人 (1995-04)
  数理解析研究所講究録, 906: 138-145
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 36