検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| A note on one-way multicounter machines and cooperating systems of one-way finite automata Wang, Yue; Inoue, Katsushi; Takanami, Itsuo (1993-04) 数理解析研究所講究録, 833: 175-185 |  |
| 形式グラフ体系上の反駁木問題の並列化とグラフ同型問題(計算機構とアルゴリズム) 内田, 智之; 正代, 隆義; 宮野, 悟 (1993-04) 数理解析研究所講究録, 833: 186-196 | |
| $\epsilon$-偏りの確率変数と$\epsilon$-依存の確率変数の間の関係について(計算機構とアルゴリズム) 神保, 秀司; 丸岡, 章 (1993-04) 数理解析研究所講究録, 833: 42-52 | |
| Church-Rosser Property and Unique Normal Form Property of Non-Duplicating Term Rewriting Systems : DRAFT Toyama, Yoshihito; Oyamaguchi, Michio (1993-04) 数理解析研究所講究録, 833: 53-64 | |
| NP-completeness of Minimum Binary Decision Diagram Identification Problems TAKENAGA, Yasuhiko; YAJIMA, Shuzo (1993-04) 数理解析研究所講究録, 833: 242-249 | |
| On Using Oracles That Compute Values Fenner, Stephan; Homer, Steve; Ogiwara, Mitsunori; Selman, Alan L. (1993-04) 数理解析研究所講究録, 833: 31-41 | |
| Generalized Geometric Fitting Problems and Weighted Dynamic Voronoi Diagrams Imai, Keiko; Imai, Hiroshi (1993-04) 数理解析研究所講究録, 833: 110-119 | |
| On the Confluence of Weakly Normalizing TRSs : Note Yamada, Junnosuke (1993-04) 数理解析研究所講究録, 833: 65-68 | |
| A Lower Bound of the Expected Maximum Number of Edge-disjoint s-t Paths on Probabilistic Graphs CHENG, Peng; MASUYAMA, Shigeru (1993-04) 数理解析研究所講究録, 833: 80-90 | |
| A Faster Algorithm for the Minimum Capacity Cut Problem of Undirected Networks ONO, Tadashi; NAGAMOCHI, Hiroshi; IBARAKI, Toshihide (1993-04) 数理解析研究所講究録, 833: 120-130 | |