1 - 3 из 3Размер страницы: 10
Сортировать по:: Год публикации
  1. 2024

  2. On the Group of Computable Automorphisms of the Linear Order of the Reals

    Kornev, R., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, стр. 405-419 15 стр. 32. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 14773 LNCS).

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

  3. 2021

  4. Computable metrics above the standard real metric

    Kornev, R., 2021, в: Siberian Electronic Mathematical Reports. 18, 1, стр. 377-392 16 стр., 29.

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

  5. 2017

  6. Reducibility of Computable Metrics on the Real Line

    Kornev, R. A., 1 сент. 2017, в: Algebra and Logic. 56, 4, стр. 302-317 16 стр.

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

ID: 3505495