書誌情報	ファイル
表紙・目次    (1981-03)   数理解析研究所講究録, 421
オートマトンのクラスのデカルト合成 (数理情報科学の基礎理論と応用)   伊藤, 正美; 田中, 源次郎 (1981-03)   数理解析研究所講究録, 421: 1-14
Pushdown Automata with Terminal Languages (数理情報科学の基礎理論と応用)   SAKAROVITCH, JACQUES (1981-03)   数理解析研究所講究録, 421: 15-29
A Move Problem on Weighted Digraphs (数理情報科学の基礎理論と応用)   NARUSHIMA, HIROSHI (1981-03)   数理解析研究所講究録, 421: 30-35
ホヤ卵割パターンにあらわれるグラフ列について (数理情報科学の基礎理論と応用)   土居, 洋文 (1981-03)   数理解析研究所講究録, 421: 36-46
On a Relationship between Graph L-Systems and Picture Languages (数理情報科学の基礎理論と応用)   AIZAWA, KUNIO; NAKAMURA, AKIRA (1981-03)   数理解析研究所講究録, 421: 47-60
回転入カをもつ2次元オートマタ : 和形と積形の関係 (数理情報科学の基礎理論と応用)   井上, 克司; 高浪, 五男; 谷口, 弘 (1981-03)   数理解析研究所講究録, 421: 61-76
オートマタ理論における解析,制御及び合成の各志向の明確化について (数理情報科学の基礎理論と応用)   安在, 弘幸 (1981-03)   数理解析研究所講究録, 421: 77-91
代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用)   鈴木, 一郎; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1981-03)   数理解析研究所講究録, 421: 92-105
多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用)   伊藤, 実; 岩崎, 元昭; 谷口, 健一; 嵩, 忠雄 (1981-03)   数理解析研究所講究録, 421: 106-120
Recurrent Strings in a OL Language (数理情報科学の基礎理論と応用)   NISHIDA, TAISHIN; KOBUCHI, YOICHI (1981-03)   数理解析研究所講究録, 421: 121-133
1つのL SchemeにおけるLocally Catenative Systemについて (数理情報科学の基礎理論と応用)   関, 成子; 小渕, 洋一 (1981-03)   数理解析研究所講究録, 421: 134-148
記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用)   上林, 弥彦; 安浦, 寛人; 岩間, 一雄; 矢島, 脩三 (1981-03)   数理解析研究所講究録, 421: 149-162
オンライン計算に於ける領域計算量 (数理情報科学の基礎理論と応用)   町田, 元; 笠井, 琢美 (1981-03)   数理解析研究所講究録, 421: 163-179
組合せ論理回路による有限体上の多項式演算の複雑さ (数理情報科学の基礎理論と応用)   安浦, 寛人; 矢島, 脩三 (1981-03)   数理解析研究所講究録, 421: 180-192
論理回路の検査入カ生成アルゴリズムについて (数理情報科学の基礎理論と応用)   佐伯, 俊則; 矢島, 脩三 (1981-03)   数理解析研究所講究録, 421: 193-207
On Weak Persistency of Petri Nets (数理情報科学の基礎理論と応用)   山崎, 秀記 (1981-03)   数理解析研究所講究録, 421: 208-217
自己シャフルに関する判定問題について (数理情報科学の基礎理論と応用)   岩間, 一雄 (1981-03)   数理解析研究所講究録, 421: 218-231
Horn節集合による計算について (数理情報科学の基礎理論と応用)   石橋, 稔彦; 鈴木, 博; 山崎, 進; 堂下, 修司 (1981-03)   数理解析研究所講究録, 421: 232-246
時間を入れたブール代数の公理系 (数理情報科学の基礎理論と応用)   高橋, 英之 (1981-03)   数理解析研究所講究録, 421: 247-261