Computable linear orders and linearly ordered structures
Kremlevskaya str., 35, Kazan Federal University, room 509, Kazan
Computable linear orders and linearly ordered structures, Kazan
-
Relations on computable linear orders and the Ershov hierarchy
Ya. A. Mikhailovskaya
October 19, 2019
Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
-
The join degree spectrum of successor and block relations on computable linear orders
M. V. Zubkov
October 5, 2019
Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
-
Algorithmic properties of relations on computable linear orders
A. N. Frolov
September 21, 2019
Kazan, Kremlevskaya str., 35, Kazan Federal University, room 509
© , 2025
RSS: Forthcoming seminars
Seminar organizers