Skip navigation
ホーム
ブラウズ
研究科等一覧
ブラウズ:
タイトル
著者
発行日
キーワード
分類
資料種別
アクセスランキング
アクセス統計
京都大学
図書館機構
統計
アクセスランキング
アクセス統計
リンク
京都大学
図書館機構
Language
日本語
English
マイ・リポジトリ
購読情報編集
利用者情報編集
Kyoto University Research Information Repository
検索
検索対象:
リポジトリ全体
400 数理解析研究所 = 400_Research Institute for Mathematical Sciences
1.講究録 = RIMS Kokyuroku
2008 代数系、論理、言語と計算機科学 = 2008 Algebraic system, Logic, Language and Computer Science
検索語
適用済条件:
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索をやり直す
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
タイトル
著者
キーワード
発行日
分類
資料種別
等しい
含む
ID
等しくない
含まない
ID以外
検索結果表示: 1-10 / 17.
前
1
2
次
検索結果:
書誌情報
ファイル
A generaliged [generalized] automorphism group and triality groups for nonassociative algebras : In memory of Professor Susumu Okubo (1930-2015) (Algebraic system, Logic, Language and Computer Science)
Kamiya, Noriaki; Okubo, Susumu (2016-11)
数理解析研究所講究録, 2008: 10-20
The proof structure of a proof assistant Isabelle/HOL (Algebraic system, Logic, Language and Computer Science)
Kobayashi, Hidetsune; Ono, Yoko (2016-11)
数理解析研究所講究録, 2008: 37-46
Independent definition of reticulations on residuated lattices (Algebraic system, Logic, Language and Computer Science)
Kondo, Michiro (2016-11)
数理解析研究所講究録, 2008: 1-9
Undecidability of the complexity of rewriting systems (Algebraic system, Logic, Language and Computer Science)
Kobayashi, Yuji (2016-11)
数理解析研究所講究録, 2008: 47-51
Morita equivalence in ring extension and congruence of functors (Algebraic system, Logic, Language and Computer Science)
池畑, 秀一; 山中, 聡; 小松, 弘明 (2016-11)
数理解析研究所講究録, 2008: 72-80
Disk arrays and cyclic orderings (Algebraic system, Logic, Language and Computer Science)
Adachi, Tomoko (2016-11)
数理解析研究所講究録, 2008: 121-128
Cellular automaton and matrix over words (Algebraic system, Logic, Language and Computer Science)
佐藤, 忠一 (2016-11)
数理解析研究所講究録, 2008: 21-28
Concept of Symmetry in Closure Spaces as a Tool for Naturalization of Information (Algebraic system, Logic, Language and Computer Science)
Schroeder, Marcin J. (2016-11)
数理解析研究所講究録, 2008: 29-36
表紙・目次
(2016-11)
数理解析研究所講究録, 2008
Numerical semigroups attained by double covers of plane curves of degree six (Algebraic system, Logic, Language and Computer Science)
Komeda, Jiryo (2016-11)
数理解析研究所講究録, 2008: 100-106
絞り込み
著者
2
山中, 聡
2
池畑, 秀一
1
Adachi, Tomoko
1
Herzog, Jurgen
1
Kamiya, Noriaki
1
Kobayashi, Hidetsune
1
Kobayashi, Yuji
1
Komeda, Jiryo
1
Kondo, Michiro
1
Kunimochi, Yoshiyuki
.
次 >
キーワード
1
17A40
1
17B40
1
17B60
1
22F05
1
centralizing monoid
1
commutation
1
local and global triality relation
1
Symmetric composition algebras
1
triality groups
1
witness
.
次 >
発行日
17
2016
資料種別
16
Departmental Bulletin Paper
1
Others