コレクションホームページ

0156 情報科学の数学的理論   16
(http://hdl.handle.net/2433/100722)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 16 / 16
書誌情報ファイル
表紙・目次
   (1972-08)
  数理解析研究所講究録, 156
file type icon
最近のスイッチング理論 (情報科学の数学的理論)
  野崎, 昭弘 (1972-08)
  数理解析研究所講究録, 156: 1-19
file type icon
論理回路による計算時間 (情報科学の数学的理論)
  棚次, 奎介 (1972-08)
  数理解析研究所講究録, 156: 20-33
file type icon
多値論理素子が細分的であるための条件 (情報科学の数学的理論)
  丸岡, 章; 本多, 波雄 (1972-08)
  数理解析研究所講究録, 156: 34-50
file type icon
集合演算による木オートマトンで受理される木の集合の特性化 (情報科学の数学的理論)
  小島, 政明; 本多, 波雄 (1972-08)
  数理解析研究所講究録, 156: 51-68
file type icon
Indexed Grammarの木構造について : uvwxy定理の拡張 (情報科学の数学的理論)
  林, 健志 (1972-08)
  数理解析研究所講究録, 156: 69-82
file type icon
Deterministic Graded Pushdown Automata (情報科学の数学的理論)
  笠井, 琢美 (1972-08)
  数理解析研究所講究録, 156: 83-97
file type icon
エルゴード理論におけるエントロピー (情報科学の数学的理論)
  十時, 東生 (1972-08)
  数理解析研究所講究録, 156: 98-110
file type icon
gsmの解読可能性 (情報科学の数学的理論)
  佐藤, 興ニ (1972-08)
  数理解析研究所講究録, 156: 111-132
file type icon
Structure of Determinative Subspace in Cell Space (情報科学の数学的理論)
  山口, 優子 (1972-08)
  数理解析研究所講究録, 156: 133-146
file type icon
変換半群の生成元,基本関係式,元の長さ (情報科学の数学的理論)
  岩堀, 信子 (1972-08)
  数理解析研究所講究録, 156: 147-166
file type icon
プログラムの形式的正当性 (情報科学の数学的理論)
  謝, 章文 (1972-08)
  数理解析研究所講究録, 156: 167-182
file type icon
カウンタ機械の計算可能性 (情報科学の数学的理論)
  金山, 裕 (1972-08)
  数理解析研究所講究録, 156: 183-197
file type icon
片側文脈規定形文法について (情報科学の数学的理論)
  伊藤, 英則; 稲垣, 康善; 福村, 晃夫 (1972-08)
  数理解析研究所講究録, 156: 198-212
file type icon
Analyzerの簡単化 (情報科学の数学的理論)
  菊野, 亨 (1972-08)
  数理解析研究所講究録, 156: 213-229
file type icon
有限状態逐次決定過程とその決定問題 (情報科学の数学的理論)
  茨木, 俊秀 (1972-08)
  数理解析研究所講究録, 156: 230-247
file type icon
文献一覧(目次の昇順ソート): 1 - 16 / 16