書誌情報 | ファイル |
表紙・目次 (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
| |