書誌情報	ファイル
String-Objects in P Systems (Algebraic Systems, Formal Languages and Computations)   Martin-Vide, Carlos; Paun, Gheorghe (2000-08)   数理解析研究所講究録, 1166: 161-169
Knowledge Structure in Decision Theory (Algebraic Systems, Formal Languages and Computations)   Matsuhisa, Takashi (2000-08)   数理解析研究所講究録, 1166: 170-177
Parallel Communicating Finite Automata Systems (Algebraic Systems, Formal Languages and Computations)   Mitrana, Victor (2000-08)   数理解析研究所講究録, 1166: 178-190
Syntactic Congruences of some Codes (Algebraic Systems, Formal Languages and Computations)   Moriya, Tetsuo (2000-08)   数理解析研究所講究録, 1166: 191-199
Global Dynamics of 1-D Extended Cellular Automata (Algebraic Systems, Formal Languages and Computations)   Nishio, Hidenosuke (2000-08)   数理解析研究所講究録, 1166: 200-206
Quantum Oracles and Computational Complexity (Algebraic Systems, Formal Languages and Computations)   Nishimura, Harumichi; Ozawa, Masanao (2000-08)   数理解析研究所講究録, 1166: 207-215
根系に付随する2次のイニシャルイデアル (代数系,形式言語および計算理論)   Ohsugi, Hidefumi; Hibi, Takayuki (2000-08)   数理解析研究所講究録, 1166: 216-221
The Area of Figures Representable by Buchi Automata (Algebraic Systems, Formal Languages and Computations)   Takeuti, Izumi (2000-08)   数理解析研究所講究録, 1166: 222-225
Forbidden divisor characterizations of epigroups with certain properties of group elements (Algebraic Systems, Formal Languages and Computations)   Volkov, M.V. (2000-08)   数理解析研究所講究録, 1166: 226-234
Quantum cryptanalysis of block ciphers (Algebraic Systems, Formal Languages and Computations)   Yamamura, Akihiro; Ishizuka, Hirokazu (2000-08)   数理解析研究所講究録, 1166: 235-243
One-way Probabilistic Reversible and Quantum One-counter Automata (Algebraic Systems, Formal Languages and Computations)   Yamasaki, Tomohiro; Kobayashi, Hirotada; Tokunaga, Yuuki; Imai, Hiroshi (2000-08)   数理解析研究所講究録, 1166: 244-252