Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用) 坂井, 公 (1983-06) 数理解析研究所講究録, 494: 215-222
分散型システムにおける相互排除のためのトークンを用いたスキームについて(計算機構に関する数学的基礎理論とその応用) 室, 章治郎; 加藤, 直樹; 箕浦, 敏美; 長谷川, 利治 (1983-06) 数理解析研究所講究録, 494: 114-125
基本操作の依存性を利用した並行処理のための手法(計算機構に関する数学的基礎理論とその応用) 近藤, 誠一; 上林, 弥彦; 矢島, 脩三 (1983-06) 数理解析研究所講究録, 494: 90-101
A Space Hierarchy Result of Two-Dimensional Alternating Turing Machines with Only Universal States(Mathematical Theories on Computing Schemes and Their Applications) INOUE, Katsushi; ITO, Akira; TAKANAMI, Itsuo; Taniguchi, Hiroshi (1983-06) 数理解析研究所講究録, 494: 172-184
Serializable Classesの構造について(計算機構に関する数学的基礎理論とその応用) 茨木, 俊秀; 亀田, 恒彦; 箕浦, 敏美 (1983-06) 数理解析研究所講究録, 494: 102-113
ディジタル幾何学における図形とそのComputational Complexityについて(計算機構に関する数学的基礎理論とその応用) 中村, 昭; 会沢, 邦夫 (1983-06) 数理解析研究所講究録, 494: 137-147
ある種の代数的システムに付随する無限行列の性質(計算機構に関する数学的基礎理論とその応用) 内村, 桂輔 (1983-06) 数理解析研究所講究録, 494: 78-89
Transformations of Communicating Sequential Processes(Mathematical Theories on Computing Schemes and Their Applications) Musha, Hiroyuki; Tokuda, Takehiro (1983-06) 数理解析研究所講究録, 494: 126-136
Gradually Intractable Problems(Mathematical Theories on Computing Schemes and Their Applications) 笠井, 琢美; 岩田, 茂樹 (1983-06) 数理解析研究所講究録, 494: 148-159
The Relation between Time and Accepting Probability on Probabilistic Simple Decision Trees : Extended abstract(Mathematical Theories on Computing Schemes and Their Applications) WATANABE, Osamu (1983-06) 数理解析研究所講究録, 494: 160-171