Journal: Formalized Mathematics

Volume 26, Issue 2

91 -- 100Rafal Ziobro. Parity as a Property of Integers
101 -- 124Sebastian Koch. About Supergraphs. Part I
125 -- 140Sebastian Koch. About Supergraphs. Part II
141 -- 147Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. On Algebras of Algorithms and Specifications over Uninterpreted Data
149 -- 158Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
159 -- 164Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
165 -- 173Ievgen Ivanov, Artur Kornilowicz, Mykola S. Nikitchenko. Partial Correctness of GCD Algorithm
175 -- 181Marcin Acewicz, Karol Pak. Basic Diophantine Relations
183 -- 191Adam Grabowski, Michal Sielwiesiuk. Formalizing Two Generalized Approximation Operators
193 -- 198Adam Grabowski, Damian Sawicki. On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander