書誌情報	ファイル
POLYNOMIAL-TIME ACCESSIBILITY TO SYMMETRIC SOLUTIONS : extended abstract   Yamakami, Tomoyuki (1989-06)   数理解析研究所講究録, 695: 178-187
安全なOne-way Functionについて(計算アルゴリズムと計算量の基礎理論)   陳, 致中; 笠井, 琢美 (1989-06)   数理解析研究所講究録, 695: 188-197
確率的多項式時間アルゴリズムの能力について(計算アルゴリズムと計算量の基礎理論)   戸田, 誠之助 (1989-06)   数理解析研究所講究録, 695: 198-204
一人ゲームHi-Qについて(計算アルゴリズムと計算量の基礎理論)   上原, 隆平; 岩田, 茂樹 (1989-06)   数理解析研究所講究録, 695: 205-214
耐故障ネットワークと辺付加問題(計算アルゴリズムと計算量の基礎理論)   渡辺, 敏正; 東, 靖彦; 中村, 昭 (1989-06)   数理解析研究所講究録, 695: 215-224
動的な点に対するVoronoi図について(計算アルゴリズムと計算量の基礎理論)   今井, 桂子 (1989-06)   数理解析研究所講究録, 695: 225-232
ピクチャ・パターン照合アルゴリズム(計算アルゴリズムと計算量の基礎理論)   竹田, 正幸 (1989-06)   数理解析研究所講究録, 695: 233-242
整数線形計画問題の解非存在性判定を利用した通信プロトコルの自動検証について(計算アルゴリズムと計算量の基礎理論)   東野, 輝夫; 谷口, 健一 (1989-06)   数理解析研究所講究録, 695: 243-252
On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic   Hamaguchi, Kiyoharu; Hiraishi. Hiromi; Yajima, Shuzo (1989-06)   数理解析研究所講究録, 695: 253-262
非同期通信に基づく並列処理言語の表示的意味記述について(計算アルゴリズムと計算量の基礎理論)   那須, 隆; 大山口, 通夫 (1989-06)   数理解析研究所講究録, 695: 263-272
VLSIレイアウト設計におけるブロック配置の改良(計算アルゴリズムと計算量の基礎理論)   大村, 道郎; 宮尾, 淳一; 若林, 真一 (1989-06)   数理解析研究所講究録, 695: 273-282