Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
0960 半群・形式言語と計算機システム = Semigroups, Formal Languages and Computer Systems
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 22.
前
1
2
3
次
検索結果:
書誌情報
ファイル
On Distribution of Idempotents of Semigroup(Semigroups, Formal Languages and Computer Systems)
Kobayashi, Yukio (1996-08)
数理解析研究所講究録, 960: 100-107
Complete Partial Orders and Fixpoints(Semigroups, Formal Languages and Computer Systems)
Buhler, Hans-Ulrich (1996-08)
数理解析研究所講究録, 960: 1-14
Synchronization and nondeterminism(Semigroups, Formal Languages and Computer Systems)
Ciobanu, Gabriel (1996-08)
数理解析研究所講究録, 960: 15-22
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
Remarks on seminormal oversemigroups(Semigroups, Formal Languages and Computer Systems)
金光, 三男; 松田, 隆輝 (1996-08)
数理解析研究所講究録, 960: 77-84
Height Functions and Formal Languages(Semigroups, Formal Languages and Computer Systems)
Ito, Masami (1996-08)
数理解析研究所講究録, 960: 71-76
素体F={0,1}上の直交群の2元生成(半群・形式言語と計算機システム)
石橋, 宏行 (1996-08)
数理解析研究所講究録, 960: 66-70
Note on representations of generalized inverse $\ast$-semigroups(Semigroups, Formal Languages and Computer Systems)
IMAOKA, Teruo; OGAWA, Takahide (1996-08)
数理解析研究所講究録, 960: 54-65
Compositions of nondeterministic automata(Semigroups, Formal Languages and Computer Systems)
Imreh, B. (1996-08)
数理解析研究所講究録, 960: 44-53
Domosiの問題について(半群・形式言語と計算機システム)
井関, 清志; 山下, 幸二 (1996-08)
数理解析研究所講究録, 960: 37-43
絞り込み
著者
1
KATSURA, Masashi
1
Katsura, Masashi
1
Kobayashi, Yukio
1
KONDO, Michiro
1
MATSUDA, Ryuki
1
MORIYA, Tetsuo
1
NEHANIV, CHRYSTOPHER L.
1
OGAWA, Takahide
1
Saito, Tatsuhiko
1
Shoji, Kunitaka
.
< 前
次 >
キーワード
1
$\omega$-regular language
1
duo
1
literal shuffle
1
shuffle
分類
22
410