Commutativeness of Fundamental Groups of Topological Groups
Korniłowicz, Artur
Products in Categories without Uniqueness of cod and dom
Korniłowicz, Artur
Basic Operations on Preordered Coherent Spaces
Grue, Klaus, 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
Pseudo-Canonical Formulae are Classical
Caminati, Marco B., 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
Partial Correctness of GCD Algorithm
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
The First Isomorphism Theorem and Other Properties of Rings
Korniłowicz, Artur, Schwarzweller, Christoph
Elementary Number Theory Problems. Part IV
Korniłowicz, Artur