検索


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

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


検索結果表示: 1-10 / 31.
検索結果:
書誌情報ファイル
Complexity of the Optimum Join Order Problem in Deductive Databases
  UNO, Yushi; IBARAKI, Toshihide (1989-06)
  数理解析研究所講究録, 695: 108-114
file type icon 
S-bases of Boolean Functions Under Several Functional Constructions : A Survey
  Miyakawa, Masahiro; Stojmenovic, Ivan; Tosic, Ratko; Mishima, Taketoshi (1989-06)
  数理解析研究所講究録, 695: 85-97
file type icon 
確率的多項式時間アルゴリズムの能力について(計算アルゴリズムと計算量の基礎理論)
  戸田, 誠之助 (1989-06)
  数理解析研究所講究録, 695: 198-204
file type icon 
Algebraic structure of the group of p-permutations on tally sets : Extended Abstract
  Nishino, Tetsuro (1989-06)
  数理解析研究所講究録, 695: 155-161
file type icon 
Grammars on the hexagonal array
  Aizawa, Kunio (1989-06)
  数理解析研究所講究録, 695: 1-10
file type icon 
The Complexity of Topological Sorting Algorithms
  Shoudai, Takayoshi (1989-06)
  数理解析研究所講究録, 695: 169-177
file type icon 
動的な点に対するVoronoi図について(計算アルゴリズムと計算量の基礎理論)
  今井, 桂子 (1989-06)
  数理解析研究所講究録, 695: 225-232
file type icon 
Decision Problem for a Logic of Temporal Information
  Gao, Jian-Ming; Nakamura, Akira (1989-06)
  数理解析研究所講究録, 695: 75-84
file type icon 
On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
  Hamaguchi, Kiyoharu; Hiraishi. Hiromi; Yajima, Shuzo (1989-06)
  数理解析研究所講究録, 695: 253-262
file type icon 
Indexing Functions and Time Lower Bounds for Sorting on a Mesh-Connected Computer
  Han, Yijie; Igarashi, Yoshihide; Truszczynski, Miroslaw (1989-06)
  数理解析研究所講究録, 695: 145-154
file type icon