Have a personal or library account? Click to login
Volume 19 (2011): Issue 2 (June 2011) Cover

Volume 19 (2011): Issue 2 (Jan 2011)

Formalized Mathematics
Open Access
Journal detailsArticles & issues
Previous issueFormalized MathematicsNext issue

All volumes and issues in this journal

Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)

9 articles
Open Access
|Jul 2011
Sorting by Exchanging
Grzegorz Bancerek  
Open Access
|Jul 2011
Veblen Hierarchy
Grzegorz Bancerek  
Open Access
|Jul 2011
The Axiomatization of Propositional Linear Time Temporal Logic
Mariusz Giero  
Open Access
|Jul 2011
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
Takao Inoué,  Adam Naumowicz,  Noboru Endou and  Yasunari Shidama  
Open Access
|Jul 2011
Linear Transformations of Euclidean Topological Spaces
Karol Pąk  
Open Access
|Jul 2011
Banach Algebra of Bounded Complex-Valued Functionals
Katuhiko Kanazashi,  Hiroyuki Okazaki and  Yasunari Shidama  
Open Access
|Jul 2011
Conway's Games and Some of their Basic Properties
Robin Nittka  
Open Access
|Jul 2011
Differentiable Functions into Real Normed Spaces
Hiroyuki Okazaki,  Noboru Endou,  Keiko Narita and  Yasunari Shidama  
Open Access
|Jul 2011
Linear Transformations of Euclidean Topological Spaces. Part II
Karol Pąk  
eISSN: 1898-9934|ISSN: 1426-2630|Language: English|Publication frequency: 1 time per year
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other
Journal RSS Feed