検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


検索結果表示: 1-10 / 13.
検索結果:
書誌情報ファイル
restricted RNLC グラフ言語の学習(計算量理論の諸相 : その基礎的研究)
  Tani, Sei'ichi; Yamazaki, Koichi (1996-04)
  数理解析研究所講究録, 943: 88-96
file type icon 
Efficient Drawing Algorithms on the Minimum Area for Tree-Structured Diagrams
  Tsuchida, Kensei; Yaku, Takeo (1996-04)
  数理解析研究所講究録, 943: 79-87
file type icon 
強連結オートマトンとその商オートマトンの自己同型群(計算量理論の諸相 : その基礎的研究)
  植村, 憲治 (1996-04)
  数理解析研究所講究録, 943: 97-105
file type icon 
Variants of alternating grammars
  守屋, 悦朗 (1996-04)
  数理解析研究所講究録, 943: 106-113
file type icon 
マージングネットワークにおけるある下界について(計算量理論の諸相 : その基礎的研究)
  水野, 響; 増田, 一寿; 岩田, 茂樹 (1996-04)
  数理解析研究所講究録, 943: 63-72
file type icon 
Variable Ordering and the Size of Ordered Binary Decision Diagrams Representing Threshold Functions
  TAKENAGA, Yasuhiko; KANEDA, Takayuki; YAJIMA, Shuzo (1996-04)
  数理解析研究所講究録, 943: 45-55
file type icon 
二分決定グラフに基づく計算複雑さに関する未解決問題について(計算量理論の諸相 : その基礎的研究)
  高木, 一義 (1996-04)
  数理解析研究所講究録, 943: 56-62
file type icon 
計算の複雑さの平均的な解析について(計算量理論の諸相 : その基礎的研究)
  渡辺, 治 (1996-04)
  数理解析研究所講究録, 943: 35-44
file type icon 
否定数限定反転回路の複雑さ(計算量理論の諸相 : その基礎的研究)
  西野, 哲朗 (1996-04)
  数理解析研究所講究録, 943: 29-34
file type icon 
Complexity Classes Characterized by Semi-Random Sources
  Uehara, Ryuhei (1996-04)
  数理解析研究所講究録, 943: 1-14
file type icon