コレクションホームページ

0960 半群・形式言語と計算機システム   23
(http://hdl.handle.net/2433/59850)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 23
書誌情報ファイル
表紙・目次
   (1996-08)
  数理解析研究所講究録, 960
file type icon
Complete Partial Orders and Fixpoints(Semigroups, Formal Languages and Computer Systems)
  Buhler, Hans-Ulrich (1996-08)
  数理解析研究所講究録, 960: 1-14
file type icon
Synchronization and nondeterminism(Semigroups, Formal Languages and Computer Systems)
  Ciobanu, Gabriel (1996-08)
  数理解析研究所講究録, 960: 15-22
file type icon
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
Domosiの問題について(半群・形式言語と計算機システム)
  井関, 清志; 山下, 幸二 (1996-08)
  数理解析研究所講究録, 960: 37-43
file type icon
Compositions of nondeterministic automata(Semigroups, Formal Languages and Computer Systems)
  Imreh, B. (1996-08)
  数理解析研究所講究録, 960: 44-53
file type icon
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
素体F={0,1}上の直交群の2元生成(半群・形式言語と計算機システム)
  石橋, 宏行 (1996-08)
  数理解析研究所講究録, 960: 66-70
file type icon
Height Functions and Formal Languages(Semigroups, Formal Languages and Computer Systems)
  Ito, Masami (1996-08)
  数理解析研究所講究録, 960: 71-76
file type icon
Remarks on seminormal oversemigroups(Semigroups, Formal Languages and Computer Systems)
  金光, 三男; 松田, 隆輝 (1996-08)
  数理解析研究所講究録, 960: 77-84
file type icon
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
Low dimensional Homotopy and homology for monoid presentations(Semigroups, Formal Languages and Computer Systems)
  Kobayashi, Yuji (1996-08)
  数理解析研究所講究録, 960: 88-99
file type icon
On Distribution of Idempotents of Semigroup(Semigroups, Formal Languages and Computer Systems)
  Kobayashi, Yukio (1996-08)
  数理解析研究所講究録, 960: 100-107
file type icon
Congruence relations and filters in some variety(Semigroups, Formal Languages and Computer Systems)
  KONDO, Michiro (1996-08)
  数理解析研究所講究録, 960: 108-117
file type icon
NOTE ON QUESTIONS OF ANDERSON'S(Semigroups, Formal Languages and Computer Systems)
  MATSUDA, Ryuki (1996-08)
  数理解析研究所講究録, 960: 118-124
file type icon
環のcross-sectionについて(半群・形式言語と計算機システム)
  松岡, 学 (1996-08)
  数理解析研究所講究録, 960: 125-134
file type icon
Literal shuffle on $\omega$-languages(Semigroups, Formal Languages and Computer Systems)
  MORIYA, Tetsuo; YAMASAKI, Hideki (1996-08)
  数理解析研究所講究録, 960: 135-144
file type icon
ALGEBRA & FORMAL MODELS OF UNDERSTANDING(Semigroups, Formal Languages and Computer Systems)
  NEHANIV, CHRYSTOPHER L. (1996-08)
  数理解析研究所講究録, 960: 145-154
file type icon
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
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
文献一覧(目次の昇順ソート): 1 - 20 / 23