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