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