Jump to Content
Jump to Main Navigation
Home
About us
Subject Areas
Contacts
Advanced Search
Help
Sciendo
degruyter.com
Sign In
Create Profile
English
Deutsch
Home
About us
Subject Areas
Contacts
Advanced Search
Help
Sciendo
degruyter.com
Sign In
Create Profile
English
Deutsch
Volume 26 (2018): Issue 2 (Jul 2018)
in
Formalized Mathematics
Parity as a Property of Integers
By:
Rafał Ziobro
Pages: 91–100
About Supergraphs. Part I
By:
Sebastian Koch
Pages: 101–124
About Supergraphs. Part II
By:
Sebastian Koch
Pages: 125–140
On Algebras of Algorithms and Specifications over Uninterpreted Data
By:
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Pages: 141–147
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
By:
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Pages: 149–158
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
By:
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Pages: 159–164
Partial Correctness of GCD Algorithm
By:
Ievgen Ivanov
,
Artur Korniłowicz
and
Mykola Nikitchenko
Pages: 165–173
Basic Diophantine Relations
By:
Marcin Acewicz
and
Karol Pąk
Pages: 175–181
Formalizing Two Generalized Approximation Operators
By:
Adam Grabowski
and
Michał Sielwiesiuk
Pages: 183–191
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
By:
Adam Grabowski
and
Damian Sawicki
Pages: 193–198
OPEN ACCESS
Journal + Issues
Formalized Mathematics
Journal Information
Online ISSN:
1898-9934
First Published:
09 Jun 2008
Language:
English
Publisher:
Sciendo
Search
Search
Issue
Journal
Find Article
Most Cited
The Gödel Completeness Theorem for Uncountable Languages
Tarski Geometry Axioms
The First Isomorphism Theorem and Other Properties of Rings
Some Algebraic Properties of Polynomial Rings
Quasi-uniform Space
[18.204.227.117]
18.204.227.117
