|
1
|
Korovina M.V.
, Kudinov O.V.
Arithmetical complexity for order positive fields
Международная конференция "Мальцевские чтения"
11-15 нояб. 2024
|
|
2
|
Коровина М.В.
, Кудинов О.В.
Index sets for order positive fields
Мальцевские чтения : Международная конференция
13-17 Nov 2023
|
|
3
|
Korovina M.
, Kudinov O.
Some properties of compexity classes over real numbers
Japan-Russia Workshop on effective descriptive set theory, computable analysis and automata
17-19 Mar 2021
|
|
4
|
Коровина М.В.
, Кудинов О.В.
Imdex sets and existence of computable copies
Международная конференция «Мальцевские чтения»
16-19 Nov 2020
|
|
5
|
Korovina M.
, Kudinov O.
Computable topology for reliable computations
A.P. Ershov Informatic Conferemce
02-05 Jul 2019
|
|
6
|
Korovina M.
, Kudinov O.
Weak reduction principle and computable metric spaces
14th Conference on Computability in Europe
30 Jul - 3 Aug 2018
|
|
7
|
Korovina M.
, Kudinov O.
Highlights of the rice-shapiro theorem in computable topology
11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics
27-29 Jun 2017
|
|
8
|
Korovina M.
, Kudinov O.
On higher effective descriptive set theory
Computability in Europe 2017
12 Jun - 16 Jul 2017
|