検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 非決定性有限オートマトンの状態数最小化(理論計算機科学とその周辺) 仙石, 浩明; 矢島, 脩三 (1992-06) 数理解析研究所講究録, 790: 15-21 | |
| イベントの2項関係に基くハードウェア仕様記述(アルゴリズムの数学的基礎理論とその応用) 手嶋, 茂晴; 平石, 祐実; 矢島, 脩三 (1986-05) 数理解析研究所講究録, 591: 53-64 |  |
| 等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究) 浜口, 清治; 矢島, 脩三 (1996-05) 数理解析研究所講究録, 950: 193-199 | |
| 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺) 濱口, 清治; 平石, 裕実; 矢島, 脩三 (1991-06) 数理解析研究所講究録, 754: 57-64 | |
| メモリ型並列計算におけるネットワークの形態と能力について(計算および計算量理論とその周辺) 武永, 康彦; 矢島, 脩三 (1991-06) 数理解析研究所講究録, 754: 154-163 | |
| 二分決定グラフによる論理関数処理の計算複雑さ(理論計算機科学とその周辺) 武永, 康彦; 矢島, 脩三 (1992-06) 数理解析研究所講究録, 790: 141-147 | |
| 組合せ問題の論理関数による解法について(計算機構とアルゴリズム) 仙波, 一郎; 矢島, 脩三 (1993-04) 数理解析研究所講究録, 833: 204-213 | |
| 不成功マッチング処理に適した部分マッチングアルゴリズム (計算機科学の数学的基礎) 上林, 弥彦; 中津, 楢男; 矢島, 脩三 (1978-03) 数理解析研究所講究録, 322: 264-285 | |
| 時間依存オートマトンについて (時系列パターンの認識システムの研究) 田中, 譲; 矢島, 脩三 (1975-03) 数理解析研究所講究録, 229: 37-46 | |
| 遅延のある論理素子集合の万能性について (オートマトン理論と数理言語の研究) 稲垣, 耕作; 矢島, 脩三 (1974-06) 数理解析研究所講究録, 213: 1-14 | |