検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| $\lambda_C$計算と$\lambda_P$計算との対応(計算理論とその応用) 廣川, 佐千男; 亀山, 幸義; 馬場, 謙介 (1997-05) 数理解析研究所講究録, 992: 167-174 |  |
| Lower bounds of the negation-limited circuit complexity Sung, Shao-Chin; Tanaka, Keisuke (1997-05) 数理解析研究所講究録, 992: 175-182 | |
| 指数個の決定性状態を必要とする非決定性有限オートマトンについて(計算理論とその応用) Takaki, Kazuya; iwama, Kazuo (1997-05) 数理解析研究所講究録, 992: 146-153 | |
| $\lambda$-幾何における3点の最小スタイナ木について(計算理論とその応用) 早瀬, 道芳 (1997-05) 数理解析研究所講究録, 992: 74-81 | |
| Augmenting Edge-Connectivity and Vertex-Connectivity Simultaneously ISHII, Toshimasa; NAGAMOCHI, Hiroshi; IBARAKI, Toshihide (1997-05) 数理解析研究所講究録, 992: 90-97 | |
| A Divide and Conquer Approach to the Minimum $k$-Way Cut Problem Kamidoi, Yoko; Wakabayashi, Shin'ichi (1997-05) 数理解析研究所講究録, 992: 20-27 | |
| An $0(log n)$ parallel algorithm for constructing a spanning forest on Trapezoid graphs Honma, Hirotoshi; Masuyama, Shigeru (1997-05) 数理解析研究所講究録, 992: 114-121 | |
| Learning One-Variable Pattern Languages Very Efficiently ERLEBACH, THOMAS; ROSSMANITH, PETER; STADTHERR, HANS; STEGER, ANGELIKA; ZEUGMANN, THOMAS (1997-05) 数理解析研究所講究録, 992: 47-57 | |
| 計算万能な2次元8状態3角形状可逆セル・オートマン(計算理論とその応用) 今井, 克暢; 森田, 憲一 (1997-05) 数理解析研究所講究録, 992: 154-158 | |
| CCSに基づく並列処理言語の実装(計算理論とその応用||) 原, 淳; 森, 雅生 (1997-05) 数理解析研究所講究録, 992: 122-125 | |
絞り込み
発行日
- 34 1997
資料種別