書誌情報	ファイル
オートマトンのデカルト合成表現 (情報科学の数学的基礎理論と応用)   伊藤, 正美 (1979-04)   数理解析研究所講究録, 353: 185-193
多次元コスト関数をもつ有限オートマトンについて (情報科学の数学的基礎理論と応用)   矢野, 陽一; 内藤, 昭三; 室, 章治郎; 茨木, 俊秀; 長谷川, 利治 (1979-04)   数理解析研究所講究録, 353: 194-203
Some Properties of Bottom-Up Cellular Pyramids (情報科学の数学的基礎理論と応用)   DYER, CHARLES R.; NAKAMURA, AKIRA; ROSENFELD, AZRIEL (1979-04)   数理解析研究所講究録, 353: 204-213
Undecidable Extensions of Monadic First-Order Successor Arithmetic (情報科学の数学的基礎理論と応用)   ONO, HIROAKIRA; NAKAMURA, AKIRA (1979-04)   数理解析研究所講究録, 353: 214-219
線形文法の推定 (情報科学の数学的基礎理論と応用)   棚次, 奎介 (1979-04)   数理解析研究所講究録, 353: 220-227
正規表現の直和標準形 (情報科学の数学的基礎理論と応用)   山本, 修一郎; 稲垣, 康善; 本多, 波雄 (1979-04)   数理解析研究所講究録, 353: 228-237
ヤノフ形並列プログラム図式の決定可能問題 (情報科学の数学的基礎理論と応用)   山下, 雅史; 稲垣, 康善; 本多, 波雄 (1979-04)   数理解析研究所講究録, 353: 238-247
準3方向と3方向のシンプルマルチヘッド有限オートマタの関係 (情報科学の数学的基礎理論と応用)   井上, 克司; 高浪, 五男; 谷口, 弘 (1979-04)   数理解析研究所講究録, 353: 248-256
A Note on Decision Problems for Three-Way Two-Dimensional Finite Automata (情報科学の数学的基礎理論と応用)   INOUE, KATSUSHI; TAKANAMI, ITSUO (1979-04)   数理解析研究所講究録, 353: 257-265
Space Complexity on Two-Dimensional Connected Tapes (情報科学の数学的基礎理論と応用)   UMEO, HIROSHI; MORITA, KENICHI; SUGATA, KAZUHIRO (1979-04)   数理解析研究所講究録, 353: 266-275
逐次検索システムと言語について (情報科学の数学的基礎理論と応用)   有川, 節夫 (1979-04)   数理解析研究所講究録, 353: 276-288