検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| Pセンタ問題およびデータ変換に関連した問題の計算複雑さ (計算の複雑性に関する研究) 菊野, 亨; 角田, 良明; 若林, 真一; 杉原, 一夫 (1980-04) 数理解析研究所講究録, 381: 160-179 |  |
| An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics) YAKU, TAKEO; FUTATSUGI, KOKICHI; ADACHI, AKEO (1980-04) 数理解析研究所講究録, 381: 180-194 | |
| Complexity of Some Strategies Proving Theorems in the Propositional Logic (Studies on Computational Complexities and Related Topics) YAMASAKI, SUSUMU; DOSHITA, SHUJI (1980-04) 数理解析研究所講究録, 381: 133-151 | |
| 制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究) 岩田, 茂樹; 笠井, 琢美 (1980-04) 数理解析研究所講究録, 381: 152-159 | |
| 組合せ論理回路の幅と段数について (計算の複雑性に関する研究) 安浦, 寛人; 矢島, 脩三 (1980-04) 数理解析研究所講究録, 381: 116-132 | |
| 多値論理関数の極小閉集合 (計算の複雑性に関する研究) 町田, 元 (1980-04) 数理解析研究所講究録, 381: 195-206 | |
| 不完全指定形抽象データタイプの仕様記述と実現 (計算の複雑性に関する研究) 坂部, 俊樹; 稲垣, 康善; 本多, 波雄 (1980-04) 数理解析研究所講究録, 381: 258-275 | |
| 同期付生成システム(SPS)について (計算の複雑性に関する研究) 山下, 雅史; 稲垣, 康善; 本多, 波雄 (1980-04) 数理解析研究所講究録, 381: 223-241 | |
| 自己シャフルされた記号列を入力とする有限オートマトンについて (計算の複雑性に関する研究) 岩間, 一雄; 上林, 弥彦 (1980-04) 数理解析研究所講究録, 381: 207-222 | |
| 文字列集合の共通パターンを求める問題について (計算の複雑性に関する研究) 中津, 楢男; 上林, 弥彦 (1980-04) 数理解析研究所講究録, 381: 242-257 | |