Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
4
...
5
次

検索結果:

書誌情報	ファイル
On Alternating Context-Free Grammars : Old and New Versions and Their Characterizations : An Extended Abstract (Evolutionary Advancement in Fundamental Theories of Computer Science) Moriya, Etsuro; Hofbauer, Dieter; Huber, Maria; Otto, Friedrich (2004-05) 数理解析研究所講究録, 1375: 92-98
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs (Evolutionary Advancement in Fundamental Theories of Computer Science) Mitsuhashi, Ichiro; Oyamaguchi, Michio; Ohta, Yoshikatsu; Yamada, Toshiyuki (2004-05) 数理解析研究所講究録, 1375: 233-239
Fast Algorithms for Computing Jones Polynomials of Certain Links (Evolutionary Advancement in Fundamental Theories of Computer Science) Murakami, Masahiko; Hara, Masao; Yamamoto, Makoto; Tani, Seiichi (2004-05) 数理解析研究所講究録, 1375: 174-180
分割量子セルオートマトンの一般化とその挙動について (計算機科学基礎理論の新展開) 井口, 修一; 溝口, 佳寛; 乾, 徳夫 (2004-05) 数理解析研究所講究録, 1375: 15-21
Procedures for Multiple Input Functions with DNA Strands (Evolutionary Advancement in Fundamental Theories of Computer Science) Kamio, Satoshi; Fujiwara, Akihiro (2004-05) 数理解析研究所講究録, 1375: 188-194
決定グラフを用いた二線式単一磁束量子回路の論理設計法 (計算機科学基礎理論の新展開) 小畑, 幸嗣; 高木, 一義; 高木, 直史 (2004-05) 数理解析研究所講究録, 1375: 137-143
Automated Competitive Analysis of Online Problems (Evolutionary Advancement in Fundamental Theories of Computer Science) Masanishi, Shingo; Horiyama, Takashi; Iwama, Kazuo (2004-05) 数理解析研究所講究録, 1375: 68-77
匿名ネットワーク上のリーダー選出問題の空間計算量 (計算機科学基礎理論の新展開) 安藤, 映; 小野, 廣隆; 定兼, 邦彦; 山下, 雅史 (2004-05) 数理解析研究所講究録, 1375: 282-288
Mining Indirect Association Rules (Evolutionary Advancement in Fundamental Theories of Computer Science) Hamano, Shinichi; Mukouchi, Yasuhito; Sato, Masako (2004-05) 数理解析研究所講究録, 1375: 214-220
非同期セル空間における論理回路構成 (計算機科学基礎理論の新展開) 斉, 金山; 森田, 憲一 (2004-05) 数理解析研究所講究録, 1375: 22-27