Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
circulant制約を持った隣接色制約付き彩色問題の応用と解析 (計算理論とアルゴリズムの新展開) 上嶋, 章宏; 真田, 亜希子; 伊藤, 大雄; 上原, 秀幸; 横山, 光雄 (2001-05) 数理解析研究所講究録, 1205: 178-182
有界経路重なり項書換え系の停止性問題について (計算理論とアルゴリズムの新展開) 阿部, 武徳; 高井, 利憲; 楫, 勇一; 関, 浩之 (2001-05) 数理解析研究所講究録, 1205: 166-171
Galois Connection between Clones and Full Monoids (New Developments of Theory of Computation and Algorithms) Machida, Hajime; Miyakawa, Masahiro; Rosenberg, Ivo G. (2001-05) 数理解析研究所講究録, 1205: 172-177
Deriving Parameter Conditions for Periodic Timed Automata Satisifying Real-Time Temporal Logic Formulas (New Developments of Theory of Computation and Algorithms) Nakata, Akio (2001-05) 数理解析研究所講究録, 1205: 160-165
A Catalog for Prediction-Preserving Reducibility with Membership Queries on Formal Languages (New Developments of Theory of Computation and Algorithms) Hirata, Kouichi; Sakamoto, Hiroshi; Arimura, Hiroki (2001-05) 数理解析研究所講究録, 1205: 142-147
枝の重みが確率的なグラフにおける最長路の長さの分布 (計算理論とアルゴリズムの新展開) 今林, 裕; 中田, 寿夫; 山下, 雅史 (2001-05) 数理解析研究所講究録, 1205: 119-124
系統樹最節約復元の部分木に関する最小性についてII (計算理論とアルゴリズムの新展開) 宮川, 幹平; 成嶋, 弘 (2001-05) 数理解析研究所講究録, 1205: 125-130
On the Complexity of Subproblems of SAT (New Developments of Theory of Computation and Algorithms) Matsuura, Akihiro; Iwama, Kazuo (2001-05) 数理解析研究所講究録, 1205: 113-118
グラフ演算による最適な故障診断可能システムの構成 (計算理論とアルゴリズムの新展開) 荒木, 徹; 柴田, 幸夫 (2001-05) 数理解析研究所講究録, 1205: 136-141
Unrestricted $LR(k)$ Grammars and its Parser, where $k=0,1$ (New Developments of Theory of Computation and Algorithms) Shiina, Hiromitsu; Masuyama, Shigeru (2001-05) 数理解析研究所講究録, 1205: 154-159