1. 2021
  2. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision

    Selivanova, S. & Selivanov, V., 1 янв 2021, в: Computability. 10, 2, стр. 123-140 18 стр.

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

  3. Complexity Issues for the Iterated h-Preorders

    Alaev, P. & Selivanov, V., 1 янв 2021, Descriptional Complexity of Formal Systems. стр. 1-12 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 13037).

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

  4. Non-collapse of the Effective Wadge Hierarchy

    Selivanov, V., 1 янв 2021, Connecting with Computability. стр. 407-416 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12813).

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

  5. Searching for Applicable Versions of Computable Structures

    Alaev, P. E. & Selivanov, V. L., 1 янв 2021, Connecting with Computability. стр. 1-11 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12813).

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

  6. 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).

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

  7. 2020
  8. On Degree Spectra of Topological Spaces

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

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

  9. 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).

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

  10. 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).

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

  11. 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 стр.

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

  12. Q-Wadge degrees as free structures

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

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

ID: 42363115