書誌情報	ファイル
表紙・目次    (2016-11)   数理解析研究所講究録, 2008
Independent definition of reticulations on residuated lattices (Algebraic system, Logic, Language and Computer Science)   Kondo, Michiro (2016-11)   数理解析研究所講究録, 2008: 1-9
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
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
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
Undecidability of the complexity of rewriting systems (Algebraic system, Logic, Language and Computer Science)   Kobayashi, Yuji (2016-11)   数理解析研究所講究録, 2008: 47-51
Free Burnside groups and their group rings (Algebraic system, Logic, Language and Computer Science)   Nishinaka, Tsunekazu (2016-11)   数理解析研究所講究録, 2008: 52-63
Remarks on weakly separable extensions (Algebraic system, Logic, Language and Computer Science)   山中, 聡; 池畑, 秀一 (2016-11)   数理解析研究所講究録, 2008: 64-71
Morita equivalence in ring extension and congruence of functors (Algebraic system, Logic, Language and Computer Science)   池畑, 秀一; 山中, 聡; 小松, 弘明 (2016-11)   数理解析研究所講究録, 2008: 72-80
A Note on Witnesses of Centralizing Monoids (Algebraic system, Logic, Language and Computer Science)   Machida, Hajime; Rosenberg, Ivo G. (2016-11)   数理解析研究所講究録, 2008: 81-85
Remarks on homomorphisms based on Vertex Connectivity of Weighted Directed Graphs (Algebraic system, Logic, Language and Computer Science)   Kunimochi, Yoshiyuki (2016-11)   数理解析研究所講究録, 2008: 86-96
Generalizations of Schein theorem (Algebraic system, Logic, Language and Computer Science)   Shoji, Kunitaka (2016-11)   数理解析研究所講究録, 2008: 97-99
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
ALMOST SYMMETRIC NUMERICAL SEMIGROUPS AND ALMOST GORENSTEIN SEMIGROUP RINGS (Algebraic system, Logic, Language and Computer Science)   Herzog, Jurgen; Watanabe, Kei-ichi (2016-11)   数理解析研究所講究録, 2008: 107-120
Disk arrays and cyclic orderings (Algebraic system, Logic, Language and Computer Science)   Adachi, Tomoko (2016-11)   数理解析研究所講究録, 2008: 121-128
Groups Genarated [Generated] by Prefix Reversals on Two Dimensional Arrays (Algebraic system, Logic, Language and Computer Science)   Yamamura, Akihiro (2016-11)   数理解析研究所講究録, 2008: 129-137