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
Niven’s Theorem
Korniłowicz, Artur, Naumowicz, Adam
Partial Correctness of a Fibonacci Algorithm
Korniłowicz, Artur
Elementary Number Theory Problems. Part X – Diophantine Equations
Korniłowicz, Artur
Riemann Integral of Functions from R into n-dimensional Real Normed Space
Miyajima, Keiichi, Korniłowicz, Artur, Shidama, Yasunari
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Ivanov, Ievgen, Korniłowicz, Artur, Nikitchenko, Mykola
Valuation Theory. Part I
Bancerek, Grzegorz, Kobayashi, Hidetsune, Korniłowicz, Artur
The Borsuk-Ulam Theorem
Korniłowicz, Artur, Riccardi, Marco