Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 16 (2008): Issue 3 (September 2008)
Volume 16 (2008): Issue 3 (Jan 2008)
Formalized Mathematics
Open Access
Download
Download
Journal details
Journal details
For authors
Table of contents
Documents
Previous issue
Formalized Mathematics
Next issue
All volumes and issues in this journal
Volume 33 (2025)
Volume 32 (2024)
Volume 31 (2023)
Volume 30 (2022)
Volume 29 (2021)
Volume 28 (2020)
Volume 27 (2019)
Volume 26 (2018)
Volume 25 (2017)
Volume 24 (2016)
Volume 23 (2015)
Volume 22 (2014)
Volume 21 (2013)
Volume 20 (2012)
Volume 19 (2011)
Volume 18 (2010)
Volume 17 (2009)
Volume 16 (2008)
Issue 4 (December 2008)
Issue 3 (September 2008)
Issue 2 (June 2008)
Issue 1 (March 2008)
Volume 15 (2007)
Volume 14 (2006)
7 articles
Open Access
|
Mar 2009
Abstract
Orthomodular Lattices
Elżbieta Mądra
and
Adam Grabowski
Open Access
|
Mar 2009
Abstract
Block Diagonal Matrices
Karol Pąk
Open Access
|
Mar 2009
Abstract
Linear Map of Matrices
Karol Pąk
Open Access
|
Mar 2009
Abstract
Modular Integer Arithmetic
Christoph Schwarzweller
Open Access
|
Mar 2009
Abstract
General Theory of Quasi-Commutative BCI-algebras
Tao Sun
,
Weibo Pan
,
Chenglong Wu
and
Xiquan Liang
Open Access
|
Mar 2009
Abstract
Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences
Yatsuka Nakamura
and
Hisashi Ito
Open Access
|
Mar 2009
Abstract
Model Checking. Part II
Kazuhisa Ishida
eISSN:
1898-9934
|
ISSN:
1426-2630
|
Language:
English
|
Publication frequency:
1 time per year
Published by:
University of Bialystok
In partnership with:
Paradigm Publishing Services
Related subjects:
Mathematics
,
General mathematics
,
Computer sciences
,
Computer sciences, other
Journal RSS Feed