Have a personal or library account? Click
here
to login
Paradigm
reference-global.com
Content
Services
Paradigm
Partners
Contact
Journals
Formalized Mathematics
Volume 26 (2018): Issue 2 (July 2018)
Volume 26 (2018): Issue 2 (Jul 2018)
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)
Issue 4 (December 2018)
Issue 3 (October 2018)
Issue 2 (July 2018)
Issue 1 (April 2018)
Volume 25 (2017)
Volume 24 (2016)
Volume 23 (2015)
Volume 22 (2014)
Volume 21 (2013)
Volume 20 (2012)
Volume 19 (2011)
Load more
10 articles
Open Access
|
Dec 2018
Abstract
Parity as a Property of Integers
Rafał Ziobro
Open Access
|
Dec 2018
Abstract
About Supergraphs. Part I
Sebastian Koch
Open Access
|
Dec 2018
Abstract
About Supergraphs. Part II
Sebastian Koch
Open Access
|
Dec 2018
Abstract
On Algebras of Algorithms and Specifications over Uninterpreted Data
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Open Access
|
Dec 2018
Abstract
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Open Access
|
Dec 2018
Abstract
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Open Access
|
Dec 2018
Abstract
Partial Correctness of GCD Algorithm
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Open Access
|
Dec 2018
Abstract
Basic Diophantine Relations
Marcin Acewicz
and
Karol Pąk
Open Access
|
Dec 2018
Abstract
Formalizing Two Generalized Approximation Operators
Adam Grabowski
and
Michał Sielwiesiuk
Open Access
|
Dec 2018
Abstract
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
Adam Grabowski
and
Damian Sawicki
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