Search results for: Mykola Nikitchenko
Logica Universalis > 2018 > 12 > 1-2 > 221-238
Formalized Mathematics > 2017 > 25 > 3 > 205-216
Formalized Mathematics > 2015 > 23 > 4 > 325-331
Logica Universalis > 2018 > 12 > 1-2 > 221-238
Formalized Mathematics > 2017 > 25 > 3 > 205-216
Formalized Mathematics > 2015 > 23 > 4 > 325-331