検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
$\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 410
資料種別