Open Access

Formalized Mathematics

Volume 16 (2008): Issue 3 (September 2008)

Download Cover

Previous Issue

Next Issue

7 Articles

Sort By

Open Access | Mar 20, 2009

Orthomodular Lattices

and

Open Access | Mar 20, 2009

Block Diagonal Matrices

Karol Pąk

Pąk, Karol

Open Access | Mar 20, 2009

Linear Map of Matrices

Karol Pąk

Pąk, Karol

Open Access | Mar 20, 2009

Modular Integer Arithmetic

Christoph Schwarzweller

Schwarzweller, Christoph

Open Access | Mar 20, 2009

General Theory of Quasi-Commutative BCI-algebras

and

Open Access | Mar 20, 2009

Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences

and

Open Access | Mar 20, 2009

Model Checking. Part II

Kazuhisa Ishida

Ishida, Kazuhisa

Search

All Volumes and Issues in this Journal

Volume 32 (2024)

Issue 1 (August 2024)

Volume 31 (2023)

Issue 1 (September 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)

Volume 15 (2007)

Volume 14 (2006)

Language:: English

Publication timeframe:: 1 times per year
Journal Subjects:: Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other

Journal RSS Feed