Нет фото Олег Викторович Кудинов

Кудинов Олег Викторович

Кандидат физико-математических наук

20172019

Результат исследований по году

Если Вы внесли какие-либо изменения в Pure, они скоро будут видимы здесь.

Fingerprint Узнайте самые подробные результаты анализа активности Олег Викторович Кудинов. Указанные в этом разделе метки относятся к работам этого человека. Вместе они формируют уникальную картину активности.

  • 2 Аналогичные профили

Сеть Последние внешние коллаборации на уровне страны. Узнайте подробнее, нажав точки.

Результат исследований

  • 3 статья
  • 2 статья в сборнике материалов конференции

Computable Topology for Reliable Computations

Korovina, M. & Kudinov, O., 1 янв 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (ред.). Springer International Publishing AG, стр. 185-198 14 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11964 LNCS).

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • On Mutual Definability of Operations on Fields

    Korotkova, R. M., Kudinov, O. V. & Morozov, A. S., 1 ноя 2019, В : Siberian Mathematical Journal. 60, 6, стр. 1032-1039 8 стр.

    Результат исследования: Научные публикации в периодических изданияхстатья

  • Complexity for partial computable functions over computable Polish spaces

    Korovina, M. & Kudinov, O., 1 мар 2018, В : Mathematical Structures in Computer Science. 28, 3, стр. 429-447 19 стр.

    Результат исследования: Научные публикации в периодических изданияхстатья

  • 4 Цитирования (Scopus)

    Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 янв 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (ред.). Springer-Verlag GmbH and Co. KG, стр. 241-255 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10742 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 1 Цитирования (Scopus)

    Spectrum of the Field of Computable Real Numbers

    Korovina, M. V. & Kudinov, O. V., 1 янв 2017, В : Algebra and Logic. 55, 6, стр. 485-500 16 стр.

    Результат исследования: Научные публикации в периодических изданияхстатья

  • 1 Цитирования (Scopus)