| 書誌情報 | ファイル |
|---|
An Automaton for Deciding Whether a Given Set of Words is a Code. (Algebraic Semigroups, Formal Languages and Computation)
Tsuji, Kayoko (2001-07)
数理解析研究所講究録, 1222: 123-127
|  |
Pathway Graph Models for Molecular Computing in situ (Algebraic Semigroups, Formal Languages and Computation)
Liu, Jian-Qin; Shimohara, Katsunori (2001-07)
数理解析研究所講究録, 1222: 128-137
| |
A bracket representation of the monoid of links (Algebraic Semigroups, Formal Languages and Computation)
Kataumi, Naoki; Inata, Isamu; Kobayashi, Yuji (2001-07)
数理解析研究所講究録, 1222: 138-144
| |
ALGORITHMS VERIFYING LOCAL THRESHOLD AND PIECEWISE TESTABILITY OF SEMIGROUP AND SOLVING ALMEIDA PROBLEM (Algebraic Semigroups, Formal Languages and Computation)
Trahtman, A.N. (2001-07)
数理解析研究所講究録, 1222: 145-151
| |
No trade theorem in an S-4 logic model (Algebraic Semigroups, Formal Languages and Computation)
Hirase, Kazuki (2001-07)
数理解析研究所講究録, 1222: 152-159
| |
AWARENESS, BELIEF AND COMMUNICATION REACHING CONSENSUS (Algebraic Semigroups, Formal Languages and Computation)
Fukuda, Emiko; Matsuhisa, Takashi; Sasanuma, Hisato (2001-07)
数理解析研究所講究録, 1222: 160-169
| |
CONSENSUS ON $p$-BELIEF COMMUNICATION (Algebraic Semigroups, Formal Languages and Computation)
Ishikawa, Ryuichiro; Matsuhisa, Takashi; Akagawa, Yoh-suke (2001-07)
数理解析研究所講究録, 1222: 170-177
| |
On Linear Arrangement Problems on Multidimensional Torus Graphs (Algebraic Semigroups, Formal Languages and Computation)
Jimbo, Shuji; Hashiguchi, Kosaburo; Muto, Hitoshi (2001-07)
数理解析研究所講究録, 1222: 178-188
| |
