Collection home page

Studies on Computational Complexities and Related Topics   18
(http://hdl.handle.net/2433/101206)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 18 of 18
BibliographyContents
表紙・目次
   (1980-04)
  数理解析研究所講究録, 381
file type icon
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
file type icon
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
file type icon
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
file type icon
公開鍵暗号系の安全性保証の難しさ (計算の複雑性に関する研究)
  嵩, 忠雄, 山村, 三朗 (1980-04)
  数理解析研究所講究録, 381: 52-72
file type icon
プログラム図式におけるTimeとSpaceのTrade-off (計算の複雑性に関する研究)
  笠井, 琢美, 足立, 暁生 (1980-04)
  数理解析研究所講究録, 381: 73-84
file type icon
万能文法と言語の代数的表現 (計算の複雑性に関する研究)
  広瀬, 貞樹, 那須, 正和 (1980-04)
  数理解析研究所講究録, 381: 85-99
file type icon
A Derivation of Cook's Simulation Algorithm by Program Transformation (Studies on Computational Complexities and Related Topics)
  WATANABE, OSAMU (1980-04)
  数理解析研究所講究録, 381: 100-115
file type icon
組合せ論理回路の幅と段数について (計算の複雑性に関する研究)
  安浦, 寛人, 矢島, 脩三 (1980-04)
  数理解析研究所講究録, 381: 116-132
file type icon
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
file type icon
制限された1階述語論理のComputational Complexity (計算の複雑性に関する研究)
  岩田, 茂樹, 笠井, 琢美 (1980-04)
  数理解析研究所講究録, 381: 152-159
file type icon
Pセンタ問題およびデータ変換に関連した問題の計算複雑さ (計算の複雑性に関する研究)
  菊野, 亨, 角田, 良明, 若林, 真一, 杉原, 一夫 (1980-04)
  数理解析研究所講究録, 381: 160-179
file type icon
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
file type icon
多値論理関数の極小閉集合 (計算の複雑性に関する研究)
  町田, 元 (1980-04)
  数理解析研究所講究録, 381: 195-206
file type icon
自己シャフルされた記号列を入力とする有限オートマトンについて (計算の複雑性に関する研究)
  岩間, 一雄, 上林, 弥彦 (1980-04)
  数理解析研究所講究録, 381: 207-222
file type icon
同期付生成システム(SPS)について (計算の複雑性に関する研究)
  山下, 雅史, 稲垣, 康善, 本多, 波雄 (1980-04)
  数理解析研究所講究録, 381: 223-241
file type icon
文字列集合の共通パターンを求める問題について (計算の複雑性に関する研究)
  中津, 楢男, 上林, 弥彦 (1980-04)
  数理解析研究所講究録, 381: 242-257
file type icon
不完全指定形抽象データタイプの仕様記述と実現 (計算の複雑性に関する研究)
  坂部, 俊樹, 稲垣, 康善, 本多, 波雄 (1980-04)
  数理解析研究所講究録, 381: 258-275
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 18 of 18