Ruslan Kornev

Publication Activity (10 Years)

Years Active: 2024-2025
Publications (10 Years): 2

Top Topics

Social Networks

Top Venues

Ann. Pure Appl. Log.

Publications

Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov, Keng Meng Ng
Computably and punctually universal spaces. Ann. Pure Appl. Log. 176 (1) (2025)
Ruslan Kornev
On the Group of Computable Automorphisms of the Linear Order of the Reals. CiE (2024)