書誌情報 | ファイル |
表紙・目次 (1996-08) 数理解析研究所講究録, 960
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Complete Partial Orders and Fixpoints(Semigroups, Formal Languages and Computer Systems) Buhler, Hans-Ulrich (1996-08) 数理解析研究所講究録, 960: 1-14
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Synchronization and nondeterminism(Semigroups, Formal Languages and Computer Systems) Ciobanu, Gabriel (1996-08) 数理解析研究所講究録, 960: 15-22
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Decidability of the equivalence problem of finitely ambiguous finance automata(Semigroups, Formal Languages and Computer Systems) Hashiguchi, Kosaburo; Ishiguro, Kenichi (1996-08) 数理解析研究所講究録, 960: 23-36
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Domosiの問題について(半群・形式言語と計算機システム) 井関, 清志; 山下, 幸二 (1996-08) 数理解析研究所講究録, 960: 37-43
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Compositions of nondeterministic automata(Semigroups, Formal Languages and Computer Systems) Imreh, B. (1996-08) 数理解析研究所講究録, 960: 44-53
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Note on representations of generalized inverse $\ast$-semigroups(Semigroups, Formal Languages and Computer Systems) IMAOKA, Teruo; OGAWA, Takahide (1996-08) 数理解析研究所講究録, 960: 54-65
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
素体F={0,1}上の直交群の2元生成(半群・形式言語と計算機システム) 石橋, 宏行 (1996-08) 数理解析研究所講究録, 960: 66-70
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Height Functions and Formal Languages(Semigroups, Formal Languages and Computer Systems) Ito, Masami (1996-08) 数理解析研究所講究録, 960: 71-76
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Remarks on seminormal oversemigroups(Semigroups, Formal Languages and Computer Systems) 金光, 三男; 松田, 隆輝 (1996-08) 数理解析研究所講究録, 960: 77-84
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
On Termination of One-Rule String Rewriting Systems(Semigroups, Formal Languages and Computer Systems) Tsuji, Kayoko; Katsura, Masashi; Kobayashi, Yuji (1996-08) 数理解析研究所講究録, 960: 85-87
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Low dimensional Homotopy and homology for monoid presentations(Semigroups, Formal Languages and Computer Systems) Kobayashi, Yuji (1996-08) 数理解析研究所講究録, 960: 88-99
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
On Distribution of Idempotents of Semigroup(Semigroups, Formal Languages and Computer Systems) Kobayashi, Yukio (1996-08) 数理解析研究所講究録, 960: 100-107
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Congruence relations and filters in some variety(Semigroups, Formal Languages and Computer Systems) KONDO, Michiro (1996-08) 数理解析研究所講究録, 960: 108-117
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
NOTE ON QUESTIONS OF ANDERSON'S(Semigroups, Formal Languages and Computer Systems) MATSUDA, Ryuki (1996-08) 数理解析研究所講究録, 960: 118-124
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
環のcross-sectionについて(半群・形式言語と計算機システム) 松岡, 学 (1996-08) 数理解析研究所講究録, 960: 125-134
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Literal shuffle on $\omega$-languages(Semigroups, Formal Languages and Computer Systems) MORIYA, Tetsuo; YAMASAKI, Hideki (1996-08) 数理解析研究所講究録, 960: 135-144
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
ALGEBRA & FORMAL MODELS OF UNDERSTANDING(Semigroups, Formal Languages and Computer Systems) NEHANIV, CHRYSTOPHER L. (1996-08) 数理解析研究所講究録, 960: 145-154
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Remarks on Maximal $\mathcal{J}$-Trivial Transformation Semigroups on Finite Sets(Semigroups, Formal Languages and Computer Systems) Saito, Tatsuhiko (1996-08) 数理解析研究所講究録, 960: 155-158
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |
Presentation of semigroups and embeddings in inverse semigroups(Semigroups, Formal Languages and Computer Systems) Shoji, Kunitaka; Yamaoka, Masasi (1996-08) 数理解析研究所講究録, 960: 159-164
| ![file type icon](/dspace/image/fileicons/application_pdf.png) |