Collection home page

0871 計算量理論   38
(http://hdl.handle.net/2433/81975)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 38
BibliographyContents
表紙・目次
   (1994-05)
  数理解析研究所講究録, 871
file type icon
A Hierarchy Result of Cooperating Systems of Two-Way Counter Machines
  Wang, Yue, Inoue, Katsushi, Takanami, Itsuo (1994-05)
  数理解析研究所講究録, 871: 1-7
file type icon
Some Hierarchy Results of Alternating Automata with Counters and Stack-Counters
  Yoshinaga, Tsunehiro, Inoue, Katsushi, Takanami, Itsuo (1994-05)
  数理解析研究所講究録, 871: 8-14
file type icon
Optimal Simulation of Two-Dimensional Alternating Finite Automata by Three-Way Nondeterministic Turing Machines
  ITO, Akira, INOUE, Katsushi, TAKANAMI, Itsuo (1994-05)
  数理解析研究所講究録, 871: 15-23
file type icon
リバーサル限定交代チューリング機械の交代数について(計算量理論)
  山本, 博章 (1994-05)
  数理解析研究所講究録, 871: 24-28
file type icon
A Complexity Theoretic Approach to Breaking Cryptosystems Based on Discrete Logarithms
  SAKURAI, Kouichi, SHIZUYA, Hiroki (1994-05)
  数理解析研究所講究録, 871: 29-29
file type icon
量子Turing機械によるNP完全問題の多項式時間解法について(計算量理論)
  Mihara, Takashi, Nishino, Tetsuro (1994-05)
  数理解析研究所講究録, 871: 30-36
file type icon
木状Hajos Calculusの非多項式時間限定性(計算量理論)
  Iwama, Kazuo (1994-05)
  数理解析研究所講究録, 871: 37-44
file type icon
Uniquely Parsable Grammars
  MORITA, Kenichi, YAMAMOTO, Yasunori, NISHIHARA, Noritaka, ZHANG, Zhigou (1994-05)
  数理解析研究所講究録, 871: 45-51
file type icon
LOGICAL FORMULAS FOR PETRI NET $\omega$-LANGUAGES
  YAMASAKI, Hideki (1994-05)
  数理解析研究所講究録, 871: 52-58
file type icon
A Graph Medial Axis Transform
  Aizawa, Kunio, Naser, Taher, Nakamura, Akira (1994-05)
  数理解析研究所講究録, 871: 59-65
file type icon
1次元可逆セル・オートマトンにおける一斉射撃問題について(計算量理論)
  今井, 克暢, 森田, 憲一 (1994-05)
  数理解析研究所講究録, 871: 66-72
file type icon
The Maximum Latency and Identification of Positive Boolean Functions
  MAKINO, Kazuhisa, IBARAKI, Toshihide (1994-05)
  数理解析研究所講究録, 871: 73-79
file type icon
On the Computational Power of Binary Decision Diagram with Redundant Variables
  YAMADA, Tetsuya, YASUURA, Hiroto (1994-05)
  数理解析研究所講究録, 871: 80-86
file type icon
On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions
  HOSAKA, Kazuhisa, TAKENAGA, Yasuhiko, YAJIMA, Shuzo (1994-05)
  数理解析研究所講究録, 871: 87-93
file type icon
否定数限定反転回路の複雑さの下界について(計算量理論)
  田中, 圭介, 西野, 哲朗 (1994-05)
  数理解析研究所講究録, 871: 94-99
file type icon
On the Importance of Each Edge Using Its Traffic along Shortest Paths in a Network
  CHENG, Peng, MASUYAMA, Shigeru (1994-05)
  数理解析研究所講究録, 871: 100-104
file type icon
Efficient algorithms for Disjoint Paths in Hypercubes and Star Networks
  Gu, Qian Ping, Okawa, Satoshi, Peng, Shietung (1994-05)
  数理解析研究所講究録, 871: 105-111
file type icon
SATへの変換を利用したグラフ問題の難しさの評価方法について(計算量理論)
  宮崎, 修一, 岩間, 一雄 (1994-05)
  数理解析研究所講究録, 871: 112-116
file type icon
$\alpha$連結成分問題の計算複雑さの上昇について(計算量理論)
  岩本, 宙造, 岩間, 一雄 (1994-05)
  数理解析研究所講究録, 871: 117-123
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 38