書誌情報	ファイル
表紙・目次    (2000-08)   数理解析研究所講究録, 1166
Parallelization of Restricted Quantum Circuits using Ancillae (Algebraic Systems, Formal Languages and Computations)   Abe, Hideaki; Sung, Shao Chin (2000-08)   数理解析研究所講究録, 1166: 1-7
TAMENESS OF PSEUDOVARIETIES OF SEMIGROUPS (Algebraic Systems, Formal Languages and Computations)   Almeida, Jorge (2000-08)   数理解析研究所講究録, 1166: 8-16
JACOBI-TRUDI-TYPE IDENTITIES FOR IDEAL-TABLEAUX (Algebraic Systems, Formal Languages and Computations)   Asai, Kazuto (2000-08)   数理解析研究所講究録, 1166: 17-26
A Word Length Controlled DT0L System with a Periodic Control Function (Algebraic Systems, Formal Languages and Computations)   Asayama, Takashi; Nishida, Taishin Yasunobu (2000-08)   数理解析研究所講究録, 1166: 27-34
Regular Frequency Computations (Algebraic Systems, Formal Languages and Computations)   Austinat, Holger; Diekert, Volker; Hertrampf, Ulrich; Petersen, Holger (2000-08)   数理解析研究所講究録, 1166: 35-42
Computing by networks of standard Watson-Crick $D0L$ systems (Algebraic Systems, Formal Languages and Computations)   Csuhaj-Varju, Erzsebet (2000-08)   数理解析研究所講究録, 1166: 43-51
Free algebras for generalized automata and language theory (Algebraic Systems, Formal Languages and Computations)   Esik, Zoltan (2000-08)   数理解析研究所講究録, 1166: 52-58
Symbolic computation of Appell systems on the Schrodinger algebra (Algebraic Systems, Formal Languages and Computations)   Feinsilver, Philip; Schott, Rene (2000-08)   数理解析研究所講究録, 1166: 59-66
Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms (Algebraic Systems, Formal Languages and Computations)   Fujita, Ken-etsu (2000-08)   数理解析研究所講究録, 1166: 67-75
QUANTUM MODELS AND MODES OF COMPUTATION AND COMMUNICATION (Algebraic Systems, Formal Languages and Computations)   Gruska, Jozef; Vollmar, Roland (2000-08)   数理解析研究所講究録, 1166: 76-85
Agreeing theorem in an S-4 logic model (Algebraic Systems, Formal Languages and Computations)   Hirase, Kazuki (2000-08)   数理解析研究所講究録, 1166: 86-94
A note on the languages recognized by commutative asynchronous automata (Algebraic Systems, Formal Languages and Computations)   Imreh, Balazs; Ito, Masami; Pukler, Antal (2000-08)   数理解析研究所講究録, 1166: 95-99
Some problems of BCk, BCI algebras (Algebraic Systems, Formal Languages and Computations)   Iseki, Kiyoshi (2000-08)   数理解析研究所講究録, 1166: 100-108
On the Shapes of Vertex Subsets of Hypercubes That Minimize Their Boundary (Algebraic Systems, Formal Languages and Computations)   Jimbo, Shuji; Hashiguchi, Kosaburo; Yamamoto, Osamu (2000-08)   数理解析研究所講究録, 1166: 109-117
Some open problems in combinatorics of words and related areas (Algebraic Systems, Formal Languages and Computations)   Karhumaki, Juhani (2000-08)   数理解析研究所講究録, 1166: 118-130
Iteration Lemmata for Normed Semirings (Algebraic Systems, Formal Languages and Computations)   Kudlek, Manfred (2000-08)   数理解析研究所講究録, 1166: 131-137
The Weierstrass semigroup of a pair and moduli in $\mathcal{M}_3$ (Algebraic Systems, Formal Languages and Computations)   Komeda, Jiryo (2000-08)   数理解析研究所講究録, 1166: 138-143
On an Extension of Semigroup (Algebraic Systems, Formal Languages and Computations)   Kobayashi, Yukio (2000-08)   数理解析研究所講究録, 1166: 144-151
ON $k$-p-INFIX CODES (Algebraic Systems, Formal Languages and Computations)   Long, Dongyang; Jia, Weijia (2000-08)   数理解析研究所講究録, 1166: 152-160