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