Collection home page

2008 Algebraic system, Logic, Language and Computer Science   17
(http://hdl.handle.net/2433/231428)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17
BibliographyContents
表紙・目次
   (2016-11)
  数理解析研究所講究録, 2008
file type icon
Independent definition of reticulations on residuated lattices (Algebraic system, Logic, Language and Computer Science)
  Kondo, Michiro (2016-11)
  数理解析研究所講究録, 2008: 1-9
file type icon
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
file type icon
Cellular automaton and matrix over words (Algebraic system, Logic, Language and Computer Science)
  佐藤, 忠一 (2016-11)
  数理解析研究所講究録, 2008: 21-28
file type icon
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
file type icon
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
file type icon
Undecidability of the complexity of rewriting systems (Algebraic system, Logic, Language and Computer Science)
  Kobayashi, Yuji (2016-11)
  数理解析研究所講究録, 2008: 47-51
file type icon
Free Burnside groups and their group rings (Algebraic system, Logic, Language and Computer Science)
  Nishinaka, Tsunekazu (2016-11)
  数理解析研究所講究録, 2008: 52-63
file type icon
Remarks on weakly separable extensions (Algebraic system, Logic, Language and Computer Science)
  山中, 聡, 池畑, 秀一 (2016-11)
  数理解析研究所講究録, 2008: 64-71
file type icon
Morita equivalence in ring extension and congruence of functors (Algebraic system, Logic, Language and Computer Science)
  池畑, 秀一, 山中, 聡, 小松, 弘明 (2016-11)
  数理解析研究所講究録, 2008: 72-80
file type icon
A Note on Witnesses of Centralizing Monoids (Algebraic system, Logic, Language and Computer Science)
  Machida, Hajime, Rosenberg, Ivo G. (2016-11)
  数理解析研究所講究録, 2008: 81-85
file type icon
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
file type icon
Generalizations of Schein theorem (Algebraic system, Logic, Language and Computer Science)
  Shoji, Kunitaka (2016-11)
  数理解析研究所講究録, 2008: 97-99
file type icon
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
file type icon
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
file type icon
Disk arrays and cyclic orderings (Algebraic system, Logic, Language and Computer Science)
  Adachi, Tomoko (2016-11)
  数理解析研究所講究録, 2008: 121-128
file type icon
Groups Genarated [Generated] by Prefix Reversals on Two Dimensional Arrays (Algebraic system, Logic, Language and Computer Science)
  Yamamura, Akihiro (2016-11)
  数理解析研究所講究録, 2008: 129-137
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 17 of 17