1. 2021
  2. Primitive Recursive Ordered Fields and Some Applications

    Selivanov, V. & Selivanova, S., 2021, Proceedings of Computer Algebra in Scientific Computing (CASC 2021). . Springer Nature, стр. 353-369 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12865).

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

  3. 2020
  4. On Degree Spectra of Topological Spaces

    Selivanov, V. L., 1 фев 2020, в: Lobachevskii Journal of Mathematics. 41, 2, стр. 252-259 8 стр.

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

  5. Classifying -Regular Aperiodic k-Partitions

    Selivanov, V., 1 янв 2020, Descriptional Complexity of Formal Systems. стр. 193-205 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12442).

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

  6. Degrees of Non-computability of Homeomorphism Types of Polish Spaces

    Hoyrup, M., Kihara, T. & Selivanov, V., 1 янв 2020, Beyond the Horizon of Computability. стр. 189-192 4 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12098).

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

  7. Fields of Algebraic Numbers Computable in Polynomial Time. I

    Alaev, P. E. & Selivanov, V. L., 1 янв 2020, в: Algebra and Logic. 58, 6, стр. 447-469 23 стр.

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

  8. Q-Wadge degrees as free structures

    Selivanov, V., 1 янв 2020, в: Computability. 9, 3-4, стр. 327-341 15 стр.

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

  9. Well-Quasi Orders and Hierarchy Theory

    Selivanov, V., 1 янв 2020, Well-Quasi Orders in Computation, Logic, Language and Reasoning. Том 53. стр. 271-319 49 стр. (Trends in Logic; том 53).

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

  10. 2019
  11. Computability on Quasi-Polish Spaces

    Hoyrup, M., Rojas, C., Selivanov, V. & Stull, D. M., 1 янв 2019, Descriptional Complexity of Formal Systems. стр. 171-183 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11612).

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

  12. On Classes of Regular Languages Related to Monotone WQOs

    Ogawa, M. & Selivanov, V., 1 янв 2019, Descriptional Complexity of Formal Systems. стр. 235-247 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 11612).

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

  13. 2018
  14. Polynomial Computability of Fields of Algebraic Numbers

    Alaev, P. E. & Selivanov, V. L., 1 июл 2018, в: Doklady Mathematics. 98, 1, стр. 341-343 3 стр.

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

ID: 42363115