Formalized Mathematics, 2018, Volume 26, Issue 2
: [10]
Strona glówna kolekcji
Zobacz statystyki
Contents
-
Parity as a Property of Integers
By: Rafał Ziobro
-
About Supergraphs. Part I
By: Sebastian Koch
-
About Supergraphs. Part II
By: Sebastian Koch
-
On Algebras of Algorithms and Specifications over Uninterpreted Data
By: Ievgen Ivanov, Artur Korniłowicz, Mykola Nikitchenko
-
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
By: Ievgen Ivanov, Artur Korniłowicz, Mykola Nikitchenko
-
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates
By: Ievgen Ivanov, Artur Korniłowicz, Mykola Nikitchenko
-
Partial Correctness of GCD Algorithm
By: Ievgen Ivanov, Artur Korniłowicz, Mykola Nikitchenko
-
Basic Diophantine Relations
By: Marcin Acewicz, Karol Pąk
-
Formalizing Two Generalized Approximation Operators
By: Adam Grabowski, Michał Sielwiesiuk
-
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
By: Adam Grabowski, Damian Sawicki
Przeglądaj
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2018 | Formalizing Two Generalized Approximation Operators | Grabowski, Adam; Sielwiesiuk, Michał | - | - |
2018 | Basic Diophantine Relations | Acewicz, Marcin; Pąk, Karol | - | - |
2018 | Partial Correctness of GCD Algorithm | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | On Algebras of Algorithms and Specifications over Uninterpreted Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
2018 | About Supergraphs. Part I | Koch, Sebastian | - | - |
2018 | About Supergraphs. Part II | Koch, Sebastian | - | - |
2018 | On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander | Grabowski, Adam; Sawicki, Damian | - | - |
2018 | Parity as a Property of Integers | Ziobro, Rafał | - | - |
Collection's Items (Sortowane przez Data zamieszczenia w Malejąco kolejnośi): 1 do 10 z 10