Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 23 (2015): Issue 4 (December 2015)
Volume 23 (2015): Issue 4 (Dec 2015)
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)
Issue 4 (December 2015)
Issue 3 (September 2015)
Issue 2 (June 2015)
Issue 1 (March 2015)
Volume 22 (2014)
Volume 21 (2013)
Volume 20 (2012)
Volume 19 (2011)
Load more
10 articles
Open Access
|
Mar 2016
Abstract
Summable Family in a Commutative Group
Roland Coghetto
Open Access
|
Mar 2016
Abstract
Topology from Neighbourhoods
Roland Coghetto
Open Access
|
Mar 2016
Abstract
Torsion Part of ℤ-module
Yuichi Futa
,
Hiroyuki Okazaki
and
Yasunari Shidama
Open Access
|
Mar 2016
Abstract
Construction of Measure from Semialgebra of Sets1
Noboru Endou
Open Access
|
Mar 2016
Abstract
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
Ievgen Ivanov
,
Mykola Nikitchenko
and
Uri Abraham
Open Access
|
Mar 2016
Abstract
Characteristic of Rings. Prime Fields
Christoph Schwarzweller
and
Artur Korniłowicz
Open Access
|
Mar 2016
Abstract
Exponential Objects
Marco Riccardi
Open Access
|
Mar 2016
Abstract
Algebra of Polynomially Bounded Sequences and Negligible Functions
Hiroyuki Okazaki
Open Access
|
Mar 2016
Abstract
Propositional Linear Temporal Logic with Initial Validity Semantics1
Mariusz Giero
Open Access
|
Mar 2016
Abstract
Stone Lattices
Adam Grabowski
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