検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
集合演算による木オートマトンで受理される木の集合の特性化 (情報科学の数学的理論) 小島, 政明; 本多, 波雄 (1972-08) 数理解析研究所講究録, 156: 51-68 | |
多値論理素子が細分的であるための条件 (情報科学の数学的理論) 丸岡, 章; 本多, 波雄 (1972-08) 数理解析研究所講究録, 156: 34-50 | |
Indexed Grammarの木構造について : uvwxy定理の拡張 (情報科学の数学的理論) 林, 健志 (1972-08) 数理解析研究所講究録, 156: 69-82 | |
論理回路による計算時間 (情報科学の数学的理論) 棚次, 奎介 (1972-08) 数理解析研究所講究録, 156: 20-33 | |
片側文脈規定形文法について (情報科学の数学的理論) 伊藤, 英則; 稲垣, 康善; 福村, 晃夫 (1972-08) 数理解析研究所講究録, 156: 198-212 | |
変換半群の生成元,基本関係式,元の長さ (情報科学の数学的理論) 岩堀, 信子 (1972-08) 数理解析研究所講究録, 156: 147-166 | |
エルゴード理論におけるエントロピー (情報科学の数学的理論) 十時, 東生 (1972-08) 数理解析研究所講究録, 156: 98-110 | |
カウンタ機械の計算可能性 (情報科学の数学的理論) 金山, 裕 (1972-08) 数理解析研究所講究録, 156: 183-197 | |
プログラムの形式的正当性 (情報科学の数学的理論) 謝, 章文 (1972-08) 数理解析研究所講究録, 156: 167-182 | |
gsmの解読可能性 (情報科学の数学的理論) 佐藤, 興ニ (1972-08) 数理解析研究所講究録, 156: 111-132 |
絞り込み
発行日
- 16 1972
資料種別