Bounded Reducibility for Computable Numberings. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev (CiE, 2019)

The Expressiveness of Looping Terms in the Semantic Programming. - Sergey Goncharov 002; Sergey Ospichev; Denis K. Ponomaryov; Dmitri Ivanovich Sviridenko (CoRR, 2019)

Semilattices of Punctual Numberings. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev (TAMC, 2020)

Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev; Luca San Mauro (LORI, 2021)

Rogers semilattices of punctual numberings. - Nikolay Bazhenov 001; Manat Mustafa; Sergei Ospichev (Math. Struct. Comput. Sci., 2022)