Semigroups, formal languages and computer systems
著者
書誌事項
Semigroups, formal languages and computer systems
（数理解析研究所講究録, 960）
京都大学数理解析研究所, 1996.8
- タイトル別名
-
半群・形式言語と計算機システム
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
収録内容
- Complete partial orders and fixpoints / Hans-Ulrich Bühler
- Synchronization and nondeterminism / Gabriel Ciobanu
- Decidability of the equivalence problem of finitely ambiguous finance automata / Kosaburo Hashiguchi, Kenichi Ishiguro
- Domosi の問題について / 井関清志, 山下幸二
- Compositions of nondeterministic automata / B. Imreh
- Note on representations of generalized inverse * -semigroups / Teruo Imaoka, Takahide Ogawa
- 素体 F={0, 1} 上の直交群の2元生成 / 石橋宏行
- Height functions and formal languages / Masami Ito
- Remarks on seminormal oversemigroups / Mitsuo Kanemitsu, Ryûki Matsuda
- On termination of one-rule string rewriting systems / Kayoko Shikishima-Tsuji, Masashi Katsura, Yuji Kobayashi
- Low dimensional homotopy and homology for monoid presentations / Yuji Kobayashi
- On distribution of idempotents of semigroup / Yukio Kobayashi
- Congruence relations and filters in some variety / Michiro Kondo
- Note on questions of Anderson's / Ryûki Matsuda
- 環の cross-section について / 松岡学
- Literal shuffle on ω-languages / Tetsuo Moriya, Hideki Yamasaki
- Algebra & formal models of understanding / Chrystopher L. Nehaniv
- Remarks on maximal J-trivial transformation semigroups on finite sets / Tatsuhiko Saito
- Presentations of semigroups and embeddings in invers semigroups / Kunitaka Shoji, Masasi Yamaoka
- On computational power of jumping Petri nets / Ferucio Laurentiu Tiplea
- On replacement of petri nets and some applications / Ferucio Laurentiu Tiplea
- Second Betti numbers of semigroup rings / Naoki Terai
