|
1
|
Korovina M.V.
, Kudinov O.V.
On the Computability of Ordered Fields
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2023.
V.20. N2. P.1341-1360. DOI: 10.33048/semi.2023.20.081
Scopus
РИНЦ
|
|
2
|
Коровина М.В.
, Кудинов О.В.
Порядково позитивные поля. I
Алгебра и логика. 2023.
Т.62. №3. С.307-322. DOI: 10.33048/alglog.2023.62.301
РИНЦ
|
|
3
|
Korovina M.V.
, Kudinov O.V.
Order positive fields. I
Algebra and Logic. 2023.
V.62. N3. P.203-214. DOI: 10.1007/s10469-024-09738-1
WOS
Scopus
РИНЦ
OpenAlex
|
|
4
|
Короткова Р.М.
, Кудинов О.В.
, Морозов А.С.
О взаимной определимости операций над полями
Сибирский математический журнал. 2019.
Т.60. №6. С.1324-1334. DOI: 10.33048/smzh.2019.60.611
РИНЦ
MathNet
OpenAlex
|
|
5
|
Korovina M.
, Kudinov O.
Computable Topology for Reliable Computations
Lecture Notes in Computer Science. 2019.
V.11964 LNCS. P.185-198. DOI: 10.1007/978-3-030-37487-7_15
Scopus
OpenAlex
|
|
6
|
Korotkova R.M.
, Kudinov O.V.
, Morozov A.S.
On Mutual Definability of Operations on Fields
Siberian Mathematical Journal. 2019.
V.60. N6. P.1032-1039. DOI: 10.1134/S0037446619060119
WOS
Scopus
OpenAlex
|
|
7
|
Korovina M.
, Kudinov O.
Complexity for partial computable functions over computable Polish spaces
Mathematical Structures in Computer Science. 2018.
V.28. N3. P.429-447. DOI: 10.1017/S0960129516000438
WOS
Scopus
OpenAlex
|
|
8
|
Korovina M.
, Kudinov O.
Weak reduction principle and computable metric spaces
Lecture Notes in Computer Science. 2018.
V.10936 LNCS. P.234-243. DOI: 10.1007/978-3-319-94418-0_24
Scopus
OpenAlex
|
|
9
|
Korovina M.
, Kudinov O.
Highlights of the rice-shapiro theorem in computable topology
Lecture Notes in Computer Science. 2018.
V.10742 LNCS. P.241-255. DOI: 10.1007/978-3-319-74313-4_18
Scopus
OpenAlex
|
|
10
|
Korovina M.
, Kudinov O.
The rice-shapiro theorem in computable topology
Logical Methods in Computer Science. 2017.
V.13. N4. 30
. DOI: 10.23638/LMCS-13(4:30)2017
WOS
Scopus
OpenAlex
|
|
11
|
Korovina M.V.
, Kudinov O.V.
Spectrum of the Field of Computable Real Numbers
Algebra and Logic. 2017.
V.55. N6. P.485-500. DOI: 10.1007/s10469-017-9419-8
WOS
Scopus
OpenAlex
|
|
12
|
Korovina M.V.
, Kudinov O.V.
On higher effective descriptive set theory
Lecture Notes in Computer Science. 2017.
V.10307. P.282-291. DOI: 10.1007/978-3-319-58741-7_27
Scopus
OpenAlex
|
|
13
|
Korovina M.
, Kudinov O.
Outline of partial computability in computable topology
Lecture Notes in Computer Science. 2017.
V.10307. P.64-76. DOI: 10.1007/978-3-319-58741-7_7
Scopus
OpenAlex
|
|
14
|
Kudinov O.
, Selivanov V.
First order theories of some lattices of open sets
Logical Methods in Computer Science. 2017.
V.13. N3. 16
. DOI: 10.23638/LMCS-13(3:16)2017
WOS
Scopus
OpenAlex
|
|
15
|
Korovina M.V.
, Kudinov O.V.
On images of partial computable functions over computable Polish spaces
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2017.
V.14. P.418-432. DOI: 10.17377/semi.2017.14.035
WOS
Scopus
|