Kleene Algebra of Partial Predicates
Korniłowicz, Artur, Ivanov, Ievgen, Nikitchenko, Mykola
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Basel Problem
Pąk, Karol, Korniłowicz, Artur
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
Ivanov, Ievgen, Nikitchenko, Mykola, Kryvolap, Andrii, Korniłowicz, Artur
The Differentiable Functions from R into Rn
Narita, Keiko, Korniłowicz, Artur, Shidama, Yasunari
Pseudo-Canonical Formulae are Classical
Caminati, Marco B., Korniłowicz, Artur
Introduction to Liouville Numbers
Grabowski, Adam, Korniłowicz, Artur
Partial Correctness of a Fibonacci Algorithm
Korniłowicz, Artur
Basic Operations on Preordered Coherent Spaces
Grue, Klaus, Korniłowicz, Artur
Products in Categories without Uniqueness of cod and dom
Korniłowicz, Artur
Elementary Number Theory Problems. Part V
Korniłowicz, Artur, Naumowicz, Adam
Miscellaneous Facts about Open Functions and Continuous Functions
Korniłowicz, Artur