Dynamic Separation Logic and its Use in Education

by Evgeny Makarov
Published 2020-11-01

Provably Total Functions of Arithmetic with Basic Terms

by Evgeny Makarov
Published 2012-01-01

Combined treatment for locally advanced cholangiocellular liver cancer – the case report

by Aleksandr Polyakov, Yurii Patyutko, Anna Syskova, Ksenia Romanova, Igor' Bazin, Olga Sergeeva, Eduard Virshke, Evgeny Makarov, Elena Antonova, Aleksandr Kirshin, Danila Podluzhnyi
Published 2019-12-01