コレクションホームページ
0458 形式言語理論とオートマトン理論
34
0458 形式言語理論とオートマトン理論
34
(http://hdl.handle.net/2433/101510)
ブラウズ
文献一覧(目次の昇順ソート): 21 - 34 / 34
書誌情報 | ファイル |
---|---|
分散データベースシステムにおける一般化準結合を用いた質問処理 (形式言語理論とオートマトン理論) 吉川, 正俊; 上林, 弥彦; 矢島, 脩三 (1982-05) 数理解析研究所講究録, 458: 182-191 | ![]() |
線型セル構造オートマトンのイデアル論的アプローチ (形式言語理論とオートマトン理論) 佐藤, 忠一 (1982-05) 数理解析研究所講究録, 458: 192-200 | ![]() |
One-Pass Algorithms for Properties of Three-Dimensional Pictures (形式言語理論とオートマトン理論) AIZAWA, KUNIO; NAKAMURA, AKIRA (1982-05) 数理解析研究所講究録, 458: 201-210 | ![]() |
A Note on Alternating On-Line Turing Machines (形式言語理論とオートマトン理論) INOUE, KATSUSHI; TAKANAMI, ITSUO; TANIGUCHI, HIROSHI (1982-05) 数理解析研究所講究録, 458: 211-220 | ![]() |
Polynomial Time Inference of Pattern Languages (形式言語理論とオートマトン理論) SHINOHARA, TAKESHI (1982-05) 数理解析研究所講究録, 458: 221-230 | ![]() |
One-Step Recurrent Term in $\lambda$-Calculus (形式言語理論とオートマトン理論) HIROKAWA, SACHIO (1982-05) 数理解析研究所講究録, 458: 231-236 | ![]() |
A Categorial Analysis of Lambda Calculus Models (形式言語理論とオートマトン理論) ADACHI, TAKANORI (1982-05) 数理解析研究所講究録, 458: 237-246 | ![]() |
多ソート部分的代数に対する等式推論規則 (形式言語理論とオートマトン理論) 坂部, 俊樹; 稲垣, 康善; 本多, 波雄 (1982-05) 数理解析研究所講究録, 458: 247-255 | ![]() |
Denotational Semanticsを使った万能Interpreter (形式言語理論とオートマトン理論) 江崎, 武史 (1982-05) 数理解析研究所講究録, 458: 256-265 | ![]() |
二値画像に対する並列形処理と逐次形処理 (形式言語理論とオートマトン理論) 山下, 雅史; 本多, 波雄; 北橋, 忠宏; 稲垣, 康善 (1982-05) 数理解析研究所講究録, 458: 266-275 | ![]() |
シャフルされた記号列の復元問題 (形式言語理論とオートマトン理論) 岩間, 一雄 (1982-05) 数理解析研究所講究録, 458: 276-285 | ![]() |
Repeatable Words for Substitution (形式言語理論とオートマトン理論) NISHIDA, TAISHIN; KOBUCHI, YOICHI (1982-05) 数理解析研究所講究録, 458: 286-298 | ![]() |
Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論) 泉, 寛幸; 稲垣, 康善; 本多, 波雄 (1982-05) 数理解析研究所講究録, 458: 299-308 | ![]() |
Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論) YAMASAKI, HIDEKI; TAKAHASHI, MASAKO (1982-05) 数理解析研究所講究録, 458: 309-317 | ![]() |
文献一覧(目次の昇順ソート): 21 - 34 / 34