Collection home page

0906 アルゴリズムと計算量理論   36

List Of Items (Sorted by table of contents in Ascending order): 21 to 36 of 36
Extension of Synthesis Algorithm of Recursive Processes to $\mu$-calculus
  Kimura, Shigetomo, Togashi, Atsushi, Shiratori, Norio (1995-04)
  数理解析研究所講究録, 906: 146-153
file type icon
  臼井, 伸幸, 木村, 成伴, 富樫, 敦, 白鳥, 則郎 (1995-04)
  数理解析研究所講究録, 906: 154-161
file type icon
  上土井, 陽子, 岸本, 善久, 若林, 真一 (1995-04)
  数理解析研究所講究録, 906: 162-169
file type icon
Demonstrating Programs against Adversaries
  SAKURAI, Kouichi, IWAMA, Kazuo (1995-04)
  数理解析研究所講究録, 906: 170-177
file type icon
  仙波, 一郎 (1995-04)
  数理解析研究所講究録, 906: 178-185
file type icon
  Yasuoka, Koichi (1995-04)
  数理解析研究所講究録, 906: 186-195
file type icon
Expressive Power of Binary Decision Diagrams Representing Sum-of-product Form
  NITTA, Koyo, TAKENAGA, Yasuhiko, YAJIMA, Shuzo (1995-04)
  数理解析研究所講究録, 906: 196-203
file type icon
On Breadth First Construction of OBDDs Representing Maximal Independent Sets
  HAYASE, Kazuyoshi (1995-04)
  数理解析研究所講究録, 906: 204-211
file type icon
Negative Results for Learing Minor Closed Graph Classes
  Domingo, Carlos, Shawe-Taylor, John (1995-04)
  数理解析研究所講究録, 906: 212-219
file type icon
正データからのSimple Regular言語の多項式時間帰納推論(アルゴリズムと計算量理論)
  佐藤, 清朗, 佐藤, 優子 (1995-04)
  数理解析研究所講究録, 906: 220-227
file type icon
完全データからのSimple Regular言語族の多項式時間反駁推論について(アルゴリズムと計算量理論)
  渡辺, 紀仁, 佐藤, 優子 (1995-04)
  数理解析研究所講究録, 906: 228-235
file type icon
Proper learning algorithm for functions of $k$ terms under smooth distributions
  Sakai, Yoshifumi, Takimoto, Eiji, Maruoka, Akira (1995-04)
  数理解析研究所講究録, 906: 236-243
file type icon
  坂本, 直志 (1995-04)
  数理解析研究所講究録, 906: 244-248
file type icon
Reliable Broadcasting in Product Networks
  Feng, Bao, Igarashi, Yoshihide, Ohring, Sabine R. (1995-04)
  数理解析研究所講究録, 906: 249-256
file type icon
  梅本, 成俊, 角川, 裕次, 山下, 雅史 (1995-04)
  数理解析研究所講究録, 906: 257-263
file type icon
自動翻訳における新しい木構造の導入 : 左右木について(アルゴリズムと計算量理論)
  黒川, 浩一, 笠井, 琢美 (1995-04)
  数理解析研究所講究録, 906: 264-271
file type icon
List Of Items (Sorted by table of contents in Ascending order): 21 to 36 of 36