Basic Operations on Preordered Coherent Spaces
Grue, Klaus, Korniłowicz, Artur
On the Continuity of Some Functions
Korniłowicz, Artur
Commutativeness of Fundamental Groups of Topological Groups
Korniłowicz, Artur
Kleene Algebra of Partial Predicates
Korniłowicz, Artur, Ivanov, Ievgen, Nikitchenko, Mykola
Miscellaneous Facts about Open Functions and Continuous Functions
Korniłowicz, Artur
Partial Correctness of GCD Algorithm
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Pseudo-Canonical Formulae are Classical
Caminati, Marco B., Korniłowicz, Artur
Partial Correctness of a Fibonacci Algorithm
Korniłowicz, Artur
Some Algebraic Properties of Polynomial Rings
Schwarzweller, Christoph, Korniłowicz, Artur, Rowinska-Schwarzweller, Agnieszka
On Algebras of Algorithms and Specifications over Uninterpreted Data
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ivanov, Ievgen, Nikitchenko, Mykola, Kryvolap, Andrii, Korniłowicz, Artur
Niven’s Theorem
Korniłowicz, Artur, Naumowicz, Adam