Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
1769 代数と言語のアルゴリズムと計算理論 = Algebras, Languages, Algorithms and Computations
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 23.
前
1
2
3
次
検索結果:
書誌情報
ファイル
群環に関するFormanekの方法の拡張 (代数と言語のアルゴリズムと計算理論)
西中, 恒和 (2011-10)
数理解析研究所講究録, 1769: 49-59
Classification of residuated lattices by filters (Algebras, Languages, Algorithms and Computations)
KONDO, Michiro (2011-10)
数理解析研究所講究録, 1769: 33-38
On the depth of edge rings (Algebras, Languages, Algorithms and Computations)
Hibi, Takayuki; Higashitani, Akihiro; Kimura, Kyouko; O'Keefe, Augustine B. (2011-10)
数理解析研究所講究録, 1769: 83-89
An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
Kobayashi, Hidetsune; Ono, Yoko (2011-10)
数理解析研究所講究録, 1769: 75-82
Time Complexity of Square Pattern Generation on Two Dimensional Cellular Automata (Algebras, Languages, Algorithms and Computations)
Watanabe, Satoru; Okawa, Satoshi (2011-10)
数理解析研究所講究録, 1769: 90-100
環の零因子や単元に関連したグラフの彩色数 (代数と言語のアルゴリズムと計算理論)
金光, 三男 (2011-10)
数理解析研究所講究録, 1769: 70-74
Numerical semigroups of double covering type and Hurwitz's problem (Algebras, Languages, Algorithms and Computations)
Komeda, Jiryo (2011-10)
数理解析研究所講究録, 1769: 60-65
On Galois extensions of rings with an inner automorphism group (Algebras, Languages, Algorithms and Computations)
池畑, 秀一 (2011-10)
数理解析研究所講究録, 1769: 66-69
A short history of repetition-free words (Algebras, Languages, Algorithms and Computations)
KOBAYASHI, YUJI (2011-10)
数理解析研究所講究録, 1769: 101-110
Equational theories and the behavior of finite automata (Algebras, Languages, Algorithms and Computations)
Esik, Zoltan (2011-10)
数理解析研究所講究録, 1769: 122-123
絞り込み
著者
1
Esik, Zoltan
1
Fazekas, Szilard Zsolt
1
Hibi, Takayuki
1
Higashitani, Akihiro
1
KAMIYA, NORIAKI
1
Kimura, Kyouko
1
Kobayashi, Hidetsune
1
KOBAYASHI, YUJI
1
Komeda, Jiryo
1
KONDO, Michiro
.
次 >
キーワード
1
centralizer
1
centralizing monoid
1
clone
1
comma-free code
1
d-primitive word
1
morphism
1
prefix code
1
primitive word
1
suffix code
発行日
23
2011
分類
23
410