Skip to main content
Have a personal or library account? Click to login

Volume 26 (2018): Issue 2 (Jul 2018)

Open Access
Journal detailsArticles & issues
Formalized Mathematics
Previous issue
Next issue

All volumes and issues in this journal

Issue 4 (December 2018)
Issue 3 (October 2018)
Issue 2 (July 2018)
Issue 1 (April 2018)

10 articles
Open Access
|Dec 2018
Parity as a Property of Integers
Rafał Ziobro  
Open Access
|Dec 2018
About Supergraphs. Part I
Sebastian Koch  
Open Access
|Dec 2018
About Supergraphs. Part II
Sebastian Koch  
Open Access
|Dec 2018
On Algebras of Algorithms and Specifications over Uninterpreted Data
Ievgen Ivanov,  Artur Korniłowicz and  Mykola Nikitchenko  
Open Access
|Dec 2018
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Ievgen Ivanov,  Artur Korniłowicz and  Mykola Nikitchenko  
Open Access
|Dec 2018
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
Partial Correctness of GCD Algorithm
Ievgen Ivanov,  Artur Korniłowicz and  Mykola Nikitchenko  
Open Access
|Dec 2018
Basic Diophantine Relations
Marcin Acewicz and  Karol Pąk  
Open Access
|Dec 2018
Formalizing Two Generalized Approximation Operators
Adam Grabowski and  Michał Sielwiesiuk  
Open Access
|Dec 2018
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 Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Mathematics,
General mathematics,
Computer sciences,
Computer sciences, other
Journal RSS Feed