Volume 19, Number 1, 2011

• 
  Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama: Partial Differentiation of Vector-Valued Functions on n-Dimensional Real Normed Linear Spaces. 1-9
• 
  Xiquan Liang, Dailu Li: Some Properties of p-Groups and Commutative p-Groups. 11-15
• 
  Keiichi Miyajima, Takahiro Kato, Yasunari Shidama: Riemann Integral of Functions from R into Real Normed Space. 17-22
• 
  Hiroyuki Okazaki, Kenichi Arai, Yasunari Shidama: Normal Subgroup of Product of Groups. 23-26
• 
  Piotr Rudnicki, Lorna Stewart: The Mycielskian of a Graph. 27-34
• 
  Xiquan Liang, Ling Tang, Xichun Jiang: Difference and Difference Quotient. Part IV. 35-39
• 
  Marco Riccardi: The Definition of Topological Manifolds. 41-44
• 
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama: More on Continuous Functions on Normed Linear Spaces. 45-49
• 
  Hiroyuki Okazaki, Noboru Endou, Yasunari Shidama: Cartesian Products of Family of Real Linear Spaces. 51-59
• 
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama: Formalization of Integral Linear Space. 61-64

Volume 19, Number 2, 2011

• 
  Takao Inoué, Adam Naumowicz, Noboru Endou, Yasunari Shidama: Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces. 65-68
• 
  Hiroyuki Okazaki, Noboru Endou, Keiko Narita, Yasunari Shidama: Differentiable Functions into Real Normed Spaces. 69-72
• 
  Robin Nittka: Conway's Games and Some of their Basic Properties. 73-81
• 
  Grzegorz Bancerek: Veblen Hierarchy. 83-92
• 
  Grzegorz Bancerek: Sorting by Exchanging. 93-102
• 
  Karol Pak: Linear Transformations of Euclidean Topological Spaces. 103-108
• 
  Karol Pak: Linear Transformations of Euclidean Topological Spaces. Part II. 109-112
• 
  Mariusz Giero: The Axiomatization of Propositional Linear Time Temporal Logic. 113-119
• 
  Katuhiko Kanazashi, Hiroyuki Okazaki, Yasunari Shidama: Banach Algebra of Bounded Complex-Valued Functionals. 121-126

Volume 19, Number 3, 2011

• 
  Artur Kornilowicz: Mazur-Ulam Theorem. 127-130
• 
  Yuichi Futa, Hiroyuki Okazaki, Yasunari Shidama: Set of Points on Elliptic Curve in Projective Coordinates. 131-138
• 
  Karol Pak: Continuity of Barycentric Coordinates in Euclidean Topological Spaces. 139-144
• 
  Karol Pak: Brouwer Fixed Point Theorem for Simplexes. 145-150
• 
  Karol Pak: Brouwer Fixed Point Theorem in the General Case. 151-153
• 
  Marco B. Caminati: Preliminaries to Classical First Order Model Theory. 155-167
• 
  Marco B. Caminati: Definition of First Order Language with Arbitrary Alphabet. Syntax of Terms, Atomic Formulas and their Subterms. 169-178
• 
  Marco B. Caminati: First Order Languages: Further Syntax and Semantics. 179-192
• 
  Marco B. Caminati: Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages. 193-203
• 
  Marco B. Caminati: Sequent Calculus, Derivability, Provability. Gödel's Completeness Theorem. 205-222

Volume 19, Number 4, 2011

• 
  Artur Kornilowicz: Cayley's Theorem. 223-225
• 
  Peter Jaeger: Borel-Cantelli Lemma. 227-232
• 
  Keiko Narita, Artur Kornilowicz, Yasunari Shidama: More on the Continuity of Real Functions. 233-239
• 
  Grzegorz Bancerek: Representation Theorem for Stacks. 241-250

last updated on Thu May 23 04:12:33 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page