書誌情報 | ファイル |
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
| |