Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0494 計算機構に関する数学的基礎理論とその応用 = Mathematical Theories on Computing Schemes and Their Applications
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 24.
前
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
絞り込み
著者
3
上林, 弥彦
3
矢島, 脩三
2
笠井, 琢美
2
箕浦, 敏美
2
菊野, 亨
1
Hasegawa, Toshiharu
1
Ibaraki, Toshihide
1
Igarashi, Yoshihide
1
INOUE, Katsushi
1
ITO, Akira
.
次 >
発行日
24
1983
分類
24
410