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
  
Open Access
|Dec 2018
About Supergraphs. Part I
  
Open Access
|Dec 2018
About Supergraphs. Part II
  
Open Access
|Dec 2018
On Algebras of Algorithms and Specifications over Uninterpreted Data
,   and    
Open Access
|Dec 2018
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
,   and    
Open Access
|Dec 2018
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
,   and    
Open Access
|Dec 2018
Partial Correctness of GCD Algorithm
,   and    
Open Access
|Dec 2018
Basic Diophantine Relations
 and    
Open Access
|Dec 2018
Formalizing Two Generalized Approximation Operators
 and    
Open Access
|Dec 2018
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
 and    
eISSN: 1898-9934|ISSN: 1426-2630|Language: English
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Related subjects:
Computer sciences,
Artificial intelligence,
Computer sciences, other,
Mathematics,
Logic and set theory,
General mathematics
Journal RSS Feed