Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
On Weak Persistency of Petri Nets (数理情報科学の基礎理論と応用) 山崎, 秀記 (1981-03) 数理解析研究所講究録, 421: 208-217
代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用) 鈴木, 一郎; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1981-03) 数理解析研究所講究録, 421: 92-105
多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用) 伊藤, 実; 岩崎, 元昭; 谷口, 健一; 嵩, 忠雄 (1981-03) 数理解析研究所講究録, 421: 106-120
記憶階層のもとでの結合操作について (数理情報科学の基礎理論と応用) 上林, 弥彦; 安浦, 寛人; 岩間, 一雄; 矢島, 脩三 (1981-03) 数理解析研究所講究録, 421: 149-162
回転入カをもつ2次元オートマタ : 和形と積形の関係 (数理情報科学の基礎理論と応用) 井上, 克司; 高浪, 五男; 谷口, 弘 (1981-03) 数理解析研究所講究録, 421: 61-76
On a Relationship between Graph L-Systems and Picture Languages (数理情報科学の基礎理論と応用) AIZAWA, KUNIO; NAKAMURA, AKIRA (1981-03) 数理解析研究所講究録, 421: 47-60
1つのL SchemeにおけるLocally Catenative Systemについて (数理情報科学の基礎理論と応用) 関, 成子; 小渕, 洋一 (1981-03) 数理解析研究所講究録, 421: 134-148
オートマタ理論における解析,制御及び合成の各志向の明確化について (数理情報科学の基礎理論と応用) 安在, 弘幸 (1981-03) 数理解析研究所講究録, 421: 77-91
Recurrent Strings in a OL Language (数理情報科学の基礎理論と応用) NISHIDA, TAISHIN; KOBUCHI, YOICHI (1981-03) 数理解析研究所講究録, 421: 121-133
ホヤ卵割パターンにあらわれるグラフ列について (数理情報科学の基礎理論と応用) 土居, 洋文 (1981-03) 数理解析研究所講究録, 421: 36-46