書誌情報	ファイル
分散データベースシステムにおける一般化準結合を用いた質問処理 (形式言語理論とオートマトン理論)   吉川, 正俊; 上林, 弥彦; 矢島, 脩三 (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