書誌情報 | ファイル |
表紙・目次 (2004-04) 数理解析研究所講究録, 1366
| |
SYMBOLIC DYNAMICS IN FREE PROFINITE SEMIGROUPS (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Almeida, Jorge (2004-04) 数理解析研究所講究録, 1366: 1-12
| |
Sequential Versus Parallel Grammar Formalisms with Respect to Measures of Descriptional Complexity (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Bordihn, Henning; Aydin, Suna (2004-04) 数理解析研究所講究録, 1366: 13-21
| |
Parallel Communicating Transducers (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Cojocaru, Liliana (2004-04) 数理解析研究所講究録, 1366: 22-33
| |
A Pure Future Local Temporal Logic Beyond Cograph-Monoids (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Diekert, Volker (2004-04) 数理解析研究所講究録, 1366: 34-43
| |
Some Remarks on Automata without Letichevsky Criteria (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Domosi, Pal (2004-04) 数理解析研究所講究録, 1366: 44-51
| |
BINARY EQUALITY LANGUAGES FOR PERIODIC MORPHISMS (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Holub, Stepan (2004-04) 数理解析研究所講究録, 1366: 52-54
| |
Some polynomials on trice (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Horiuchi, Kiyomitsu (2004-04) 数理解析研究所講究録, 1366: 55-61
| |
Small Grammars and Primitive Words (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Horvath, Geza (2004-04) 数理解析研究所講究録, 1366: 62-72
| |
On Primitive Multisets (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Horvath, Sandro; Kudlek, Manfred (2004-04) 数理解析研究所講究録, 1366: 73-81
| |
Structures of BCI and Open Problems (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Iseki, Kiyoshi (2004-04) 数理解析研究所講究録, 1366: 82-90
| |
Persistence of Termination for Non-Overlapping Term Rewriting Systems (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Iwami, Munehiro (2004-04) 数理解析研究所講究録, 1366: 91-99
| |
On Some Closure Properties of Semilinear Sets (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Kaszonyi, Laszlo; Kudlek, Manfred; Pukler, Antal (2004-04) 数理解析研究所講究録, 1366: 100-110
| |
Well-ordered monoids : two numerical functions (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Kobayashi, Yuji (2004-04) 数理解析研究所講究録, 1366: 111-120
| |
A generalization of a non-symmetric numerical semigroup generated by three elements (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Komeda, Jiryo (2004-04) 数理解析研究所講究録, 1366: 121-128
| |
FINITE COMPLETION OF COMMA-FREE CODES (Part II) (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Lam, Nguyen Huong (2004-04) 数理解析研究所講究録, 1366: 129-140
| |
Kinase Computing : Concepts, Methods and Features (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Liu, Jian-Qin; Shimohara, Katsunori (2004-04) 数理解析研究所講究録, 1366: 141-152
| |
On Commutative Semigroup Rings (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Matsuda, Ryuki (2004-04) 数理解析研究所講究録, 1366: 153-164
| |
On systems of language equations with Boolean operations (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Okhotin, Alexander (2004-04) 数理解析研究所講究録, 1366: 165-176
| |
Teleportation of position and momentum of a quantum state in terms of a correlation function of the Gaussian type : A time-dependent model (Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory) Saito, Kei; Toyama, F. Masafumi (2004-04) 数理解析研究所講究録, 1366: 177-187
| |