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

  2. On the difference hierarchy in countably based T0-spaces

    Selivanov, V., 1 янв 2008, Proceedings of the 5th International Conference on Computability and Complexity in Analysis, CCA 2008. стр. 257-269 13 стр.

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

  3. 2007

  4. Definability in the homomorphic quasiorder of finite labeled forests

    Kudinov, O. V. & Selivanov, V. L., 1 дек 2007, 3rd Conference on Computability in Europe, CiE 2007. стр. 436-445 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 4497).

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

  5. The quotient algebra of labeled forests modulo h-equivalence

    Selivanov, V. L., 1 мар 2007, в: Algebra and Logic. 46, 2, стр. 120-133 14 стр.

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

  6. Fine hierarchy of regular aperiodic ω-languages

    Selivanov, V. L., 1 янв 2007, Developments in Language Theory (DLT 2007). стр. 399-410 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 4588 ).

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

  7. Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests

    Oleg, K. & Селиванов, В. Л., 2007, в: Journal of Logic and Computation. 17, стр. 1135-1151

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

  8. 2006

  9. Towards a descriptive set theory for domain-like structures

    Selivanov, V. L., 12 ноя 2006, в: Theoretical Computer Science. 365, 3, стр. 258-282 25 стр.

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

  10. Undecidability in the homomorphic quasiorder of finite labeled forests

    Kudinov, O. V. & Selivanov, V. L., 1 янв 2006, Logical Approaches to Computational Barriers (CiE 2006). стр. 289-296 8 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3988).

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

  11. 2005

  12. Classifying countable Boolean terms

    Selivanov, V. L., 1 мар 2005, в: Algebra and Logic. 44, 2, стр. 95-108 14 стр.

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

  13. Variations on wadge reducibility extended abstract

    Selivanov, V. L., 3 фев 2005, в: Electronic Notes in Theoretical Computer Science. 120, SPEC. ISS., стр. 159-171 13 стр.

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

  14. Some reducibilities on regular sets

    Selivanov, V. L., 1 янв 2005, Some reducibilities on regular sets. Том 3526. стр. 430-439 10 стр. (Lecture Notes in Computer Science).

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

Назад 1...4 5 6 7 8 9 10 11 Далее

ID: 42363115