Collection home page

Algebraic Systems, Formal Languages and Computations   31
(http://hdl.handle.net/2433/63116)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 31
BibliographyContents
表紙・目次
   (2000-08)
  数理解析研究所講究録, 1166
file type icon
Parallelization of Restricted Quantum Circuits using Ancillae (Algebraic Systems, Formal Languages and Computations)
  Abe, Hideaki, Sung, Shao Chin (2000-08)
  数理解析研究所講究録, 1166: 1-7
file type icon
TAMENESS OF PSEUDOVARIETIES OF SEMIGROUPS (Algebraic Systems, Formal Languages and Computations)
  Almeida, Jorge (2000-08)
  数理解析研究所講究録, 1166: 8-16
file type icon
JACOBI-TRUDI-TYPE IDENTITIES FOR IDEAL-TABLEAUX (Algebraic Systems, Formal Languages and Computations)
  Asai, Kazuto (2000-08)
  数理解析研究所講究録, 1166: 17-26
file type icon
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
file type icon
Regular Frequency Computations (Algebraic Systems, Formal Languages and Computations)
  Austinat, Holger, Diekert, Volker, Hertrampf, Ulrich, Petersen, Holger (2000-08)
  数理解析研究所講究録, 1166: 35-42
file type icon
Computing by networks of standard Watson-Crick $D0L$ systems (Algebraic Systems, Formal Languages and Computations)
  Csuhaj-Varju, Erzsebet (2000-08)
  数理解析研究所講究録, 1166: 43-51
file type icon
Free algebras for generalized automata and language theory (Algebraic Systems, Formal Languages and Computations)
  Esik, Zoltan (2000-08)
  数理解析研究所講究録, 1166: 52-58
file type icon
Symbolic computation of Appell systems on the Schrodinger algebra (Algebraic Systems, Formal Languages and Computations)
  Feinsilver, Philip, Schott, Rene (2000-08)
  数理解析研究所講究録, 1166: 59-66
file type icon
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
file type icon
QUANTUM MODELS AND MODES OF COMPUTATION AND COMMUNICATION (Algebraic Systems, Formal Languages and Computations)
  Gruska, Jozef, Vollmar, Roland (2000-08)
  数理解析研究所講究録, 1166: 76-85
file type icon
Agreeing theorem in an S-4 logic model (Algebraic Systems, Formal Languages and Computations)
  Hirase, Kazuki (2000-08)
  数理解析研究所講究録, 1166: 86-94
file type icon
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
file type icon
Some problems of BCk, BCI algebras (Algebraic Systems, Formal Languages and Computations)
  Iseki, Kiyoshi (2000-08)
  数理解析研究所講究録, 1166: 100-108
file type icon
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
file type icon
Some open problems in combinatorics of words and related areas (Algebraic Systems, Formal Languages and Computations)
  Karhumaki, Juhani (2000-08)
  数理解析研究所講究録, 1166: 118-130
file type icon
Iteration Lemmata for Normed Semirings (Algebraic Systems, Formal Languages and Computations)
  Kudlek, Manfred (2000-08)
  数理解析研究所講究録, 1166: 131-137
file type icon
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
file type icon
On an Extension of Semigroup (Algebraic Systems, Formal Languages and Computations)
  Kobayashi, Yukio (2000-08)
  数理解析研究所講究録, 1166: 144-151
file type icon
ON $k$-p-INFIX CODES (Algebraic Systems, Formal Languages and Computations)
  Long, Dongyang, Jia, Weijia (2000-08)
  数理解析研究所講究録, 1166: 152-160
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 31