Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 16.

前
1
2
次

検索結果:

書誌情報	ファイル
集合演算による木オートマトンで受理される木の集合の特性化 (情報科学の数学的理論) 小島, 政明; 本多, 波雄 (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