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

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

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

  3. 2019

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

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

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

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

  6. 2018

  7. Polynomial Computability of Fields of Algebraic Numbers

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

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

  8. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (Extended abstract)

    Selivanova, S. V. & Selivanov, V. L., 1 янв 2018, Sailing Routes in the World of Computation. стр. 376-385 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936).

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

  9. Polynomial-time presentations of algebraic number fields

    Alaev, P. & Selivanov, V., 1 янв 2018, Sailing Routes in the World of Computation. стр. 20-29 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936).

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

  10. 2017

  11. Towards a descriptive theory of cb 0-spaces

    Selivanov, V., 1 дек 2017, в: Mathematical Structures in Computer Science. 27, 8, стр. 1553-1580 28 стр.

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

  12. First order theories of some lattices of open sets

    Kudinov, O. & Selivanov, V., 25 авг 2017, в: Logical Methods in Computer Science. 13, 3

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

  13. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 1 янв 2017, в: Logical Methods in Computer Science. 13, 4

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

  14. Extending Wadge theory to k-partitions

    Selivanov, V. L., 1 янв 2017, Unveiling Dynamics and Complexity (CiE 2017). стр. 387-399 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307).

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

Назад 1 2 3 4 5 6 7 8 ...11 Далее

ID: 42363115