Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0716 計算量理論とその周辺 = Computatinal Quantity and Related Topics
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 10.
前
1
次
検索結果:
書誌情報
ファイル
Paddable Sets in Number Theory(Complexity Theory and Related Topics)
Ogiwara, Mitsunori (1990-03)
数理解析研究所講究録, 716: 1-9
Learning Weak Monadic Second-Order Logical Formulas from Queries and Counterexamples(Complexity Theory and Related Topics)
Nishino, Tetsuro (1990-03)
数理解析研究所講究録, 716: 37-59
推論の並列化(計算量理論とその周辺)
宮野, 悟 (1990-03)
数理解析研究所講究録, 716: 71-80
On Learning A Class of Context-free Languages in Polynomial Time(Complexity Theory and Related Topics)
YOKOMORI, Takashi (1990-03)
数理解析研究所講究録, 716: 60-70
有向グラフに対する極大パスカバー問題の計算量(計算量理論とその周辺)
山神, 憲司; 植村, 憲治; 夜久, 竹夫 (1990-03)
数理解析研究所講究録, 716: 19-36
平均計算時間に基づく計算複雑さの研究について(計算量理論とその周辺)
渡辺, 治 (1990-03)
数理解析研究所講究録, 716: 10-18
単項演算に対する局所計算可能な符号化(計算量理論とその周辺)
安浦, 寛人 (1990-03)
数理解析研究所講究録, 716: 81-100
On the Complexity of Three-Level Logic Circuits(Complexity Theory and Related Topics)
SASAO, Tsutomu (1990-03)
数理解析研究所講究録, 716: 101-116
A METHOD TO COMPUTE LOWER BOUNDS ON CIRCUIT-SIZE COMPLEXITY(Complexity Theory and Related Topics)
MACHIDA, Hajime (1990-03)
数理解析研究所講究録, 716: 117-123
Some Restrictinons on CFGs With Memory(Complexity Theory and Related Topics)
守屋, 悦朗 (1990-03)
数理解析研究所講究録, 716: 124-130
絞り込み
著者
1
MACHIDA, Hajime
1
Nishino, Tetsuro
1
Ogiwara, Mitsunori
1
SASAO, Tsutomu
1
YOKOMORI, Takashi
1
夜久, 竹夫
1
守屋, 悦朗
1
安浦, 寛人
1
宮野, 悟
1
山神, 憲司
.
次 >
発行日
10
1990
分類
10
410