Mendeley出力
＜図書＞
Semigroups, formal languages and computer systems
| シリーズ | 数理解析研究所講究録 ; 960 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 京都 : 京都大学数理解析研究所 , 1996.8 |
| 本文言語 | 日本語,英語 |
| 大きさ | 199p ; 26cm |
| 目次 | 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続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 遂次刊行物 | 1996 |
|
023112008500400 |
|
書誌詳細
| 別書名 | 表紙タイトル:半群・形式言語と計算機システム |
|---|---|
| 内容注記 | 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 |
| 著者標目 | 京都大学数理解析研究所 <キョウト ダイガク スウリ カイセキ ケンキュウショ> |
| 書誌ID | 1001377999 |
| NCID | BN15355377 |
| 登録日 | 2009.09.19 |
| 更新日 | 2009.09.19 |