Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
Listing Subtrees of a Binary Tree (形式言語理論とオートマトン理論) 疋田, 輝雄 (1982-05) 数理解析研究所講究録, 458: 1-10
A Categorial Analysis of Lambda Calculus Models (形式言語理論とオートマトン理論) ADACHI, TAKANORI (1982-05) 数理解析研究所講究録, 458: 237-246
On Reliability and Efficiency of Probabilistic Algorithms (形式言語理論とオートマトン理論) WATANABE, OSAMU (1982-05) 数理解析研究所講究録, 458: 84-93
One-Pass Algorithms for Properties of Three-Dimensional Pictures (形式言語理論とオートマトン理論) AIZAWA, KUNIO; NAKAMURA, AKIRA (1982-05) 数理解析研究所講究録, 458: 201-210
Recovery of Incomplete Tables under Data Dependencies (形式言語理論とオートマトン理論) MIYANO, SATORU; HARAGUCHI, MAKOTO (1982-05) 数理解析研究所講究録, 458: 162-171
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
二値画像に対する並列形処理と逐次形処理 (形式言語理論とオートマトン理論) 山下, 雅史; 本多, 波雄; 北橋, 忠宏; 稲垣, 康善 (1982-05) 数理解析研究所講究録, 458: 266-275
Regular Adherenceとその諸性質について (形式言語理論とオートマトン理論) 泉, 寛幸; 稲垣, 康善; 本多, 波雄 (1982-05) 数理解析研究所講究録, 458: 299-308