Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 31.

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
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
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
Agreeing theorem in an S-4 logic model (Algebraic Systems, Formal Languages and Computations) Hirase, Kazuki (2000-08) 数理解析研究所講究録, 1166: 86-94
Some problems of BCk, BCI algebras (Algebraic Systems, Formal Languages and Computations) Iseki, Kiyoshi (2000-08) 数理解析研究所講究録, 1166: 100-108
Some open problems in combinatorics of words and related areas (Algebraic Systems, Formal Languages and Computations) Karhumaki, Juhani (2000-08) 数理解析研究所講究録, 1166: 118-130
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
Iteration Lemmata for Normed Semirings (Algebraic Systems, Formal Languages and Computations) Kudlek, Manfred (2000-08) 数理解析研究所講究録, 1166: 131-137
Parallelization of Restricted Quantum Circuits using Ancillae (Algebraic Systems, Formal Languages and Computations) Abe, Hideaki; Sung, Shao Chin (2000-08) 数理解析研究所講究録, 1166: 1-7