書誌情報	ファイル
表紙・目次    (1980-04)   数理解析研究所講究録, 381
Series of Graphs Generated by Rational Machines : A New Developmental System (Studies on Computational Complexities and Related Topics)   NISHIO, HIDENOSUKE (1980-04)   数理解析研究所講究録, 381: 1-21
On Forming a Series-Parallel Graph by Removing Nodes of a Planar Graph (Studies on Computational Complexities and Related Topics)   WATANABE, TOSHIMASA; AE, TADASHI; NAKAMURA, AKIRA (1980-04)   数理解析研究所講究録, 381: 22-41
A Fast Algorithm for Computing the Maximum Number of Prime Implicants of Symmetric Boolean Functions (Studies on Computational Complexities and Related Topics)   IGARASHI, YOSHIHIDE (1980-04)   数理解析研究所講究録, 381: 42-51
公開鍵暗号系の安全性保証の難しさ (計算の複雑性に関する研究)   嵩, 忠雄; 山村, 三朗 (1980-04)   数理解析研究所講究録, 381: 52-72
プログラム図式におけるTimeとSpaceのTrade-off (計算の複雑性に関する研究)   笠井, 琢美; 足立, 暁生 (1980-04)   数理解析研究所講究録, 381: 73-84
万能文法と言語の代数的表現 (計算の複雑性に関する研究)   広瀬, 貞樹; 那須, 正和 (1980-04)   数理解析研究所講究録, 381: 85-99
A Derivation of Cook's Simulation Algorithm by Program Transformation (Studies on Computational Complexities and Related Topics)   WATANABE, OSAMU (1980-04)   数理解析研究所講究録, 381: 100-115
組合せ論理回路の幅と段数について (計算の複雑性に関する研究)   安浦, 寛人; 矢島, 脩三 (1980-04)   数理解析研究所講究録, 381: 116-132
Complexity of Some Strategies Proving Theorems in the Propositional Logic (Studies on Computational Complexities and Related Topics)   YAMASAKI, SUSUMU; DOSHITA, SHUJI (1980-04)   数理解析研究所講究録, 381: 133-151
制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)   岩田, 茂樹; 笠井, 琢美 (1980-04)   数理解析研究所講究録, 381: 152-159
Pセンタ問題およびデータ変換に関連した問題の計算複雑さ (計算の複雑性に関する研究)   菊野, 亨; 角田, 良明; 若林, 真一; 杉原, 一夫 (1980-04)   数理解析研究所講究録, 381: 160-179
An Extended Iteration Statement and Its Computability (Studies on Computational Complexities and Related Topics)   YAKU, TAKEO; FUTATSUGI, KOKICHI; ADACHI, AKEO (1980-04)   数理解析研究所講究録, 381: 180-194
多値論理関数の極小閉集合 (計算の複雑性に関する研究)   町田, 元 (1980-04)   数理解析研究所講究録, 381: 195-206
自己シャフルされた記号列を入力とする有限オートマトンについて (計算の複雑性に関する研究)   岩間, 一雄; 上林, 弥彦 (1980-04)   数理解析研究所講究録, 381: 207-222
同期付生成システム(SPS)について (計算の複雑性に関する研究)   山下, 雅史; 稲垣, 康善; 本多, 波雄 (1980-04)   数理解析研究所講究録, 381: 223-241
文字列集合の共通パターンを求める問題について (計算の複雑性に関する研究)   中津, 楢男; 上林, 弥彦 (1980-04)   数理解析研究所講究録, 381: 242-257
不完全指定形抽象データタイプの仕様記述と実現 (計算の複雑性に関する研究)   坂部, 俊樹; 稲垣, 康善; 本多, 波雄 (1980-04)   数理解析研究所講究録, 381: 258-275