Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 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