検索


適用済条件:


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

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


検索結果表示: 481-490 / 491.
検索結果:
書誌情報ファイル
非決定性同時計算量について(計算機科学の基礎理論とその応用)
  守屋, 悦朗; 岩田, 茂樹; 笠井, 琢美 (1985-04)
  数理解析研究所講究録, 556: 197-208
file type icon 
相互通信逐次型プロセス系の検証(計算機科学の基礎理論とその応用)
  村上, 昌己; 稲垣, 康善 (1985-04)
  数理解析研究所講究録, 556: 187-196
file type icon 
Similarity Relation between Automata Networks(Mathematical Foundations of Computer Science and Their Applications)
  SAITO, Takashi; NISHIO, Hidenosuke (1985-04)
  数理解析研究所講究録, 556: 171-176
file type icon 
解の存在が保障されている組合せ探索問題について(計算機科学の基礎理論とその応用)
  岩間, 一雄 (1985-04)
  数理解析研究所講究録, 556: 250-259
file type icon 
COMPLEXITY OF PATH COVERING PROBLEMS IN ACYCLIC ALTERNATE GRAPHS(Mathematical Foundations of Computer Science and Their Applications)
  UEMURA, Kenji; YAKU, Takeo (1985-04)
  数理解析研究所講究録, 556: 240-249
file type icon 
低いレベルの同時計算量について(計算機科学の基礎理論とその応用)
  関口, 正裕 (1985-04)
  数理解析研究所講究録, 556: 219-230
file type icon 
Positive relativizations of low level complexity classes(Mathematical Foundations of Computer Science and Their Applications)
  戸田, 誠之助 (1985-04)
  数理解析研究所講究録, 556: 209-218
file type icon 
A Remark on Solving the Set-Partitioning Problem by Dual All Integer Algorithm(Mathematical Foundations of Computer Science and Their Applications)
  Iwamura, Kakuzo (1985-04)
  数理解析研究所講究録, 556: 231-239
file type icon 
グラフパッキング問題の計算複雑度(計算機科学の基礎理論とその応用)
  増山, 繁; 張, 澤増; 茨木, 俊秀; 三根, 久 (1985-04)
  数理解析研究所講究録, 556: 260-271
file type icon 
多値論理関数の本質的極小閉集合(計算機科学の基礎理論とその応用)
  町田, 元 (1985-04)
  数理解析研究所講究録, 556: 272-281
file type icon