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

  2. Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests

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

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

  3. 2006

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

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

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

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

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

  6. 2005

  7. Classifying countable Boolean terms

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

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

  8. Variations on wadge reducibility extended abstract

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

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

  9. Some reducibilities on regular sets

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

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

  10. 2004

  11. A reducibility for the dot-depth hierarchy

    Selivanov, V. L. & Wagner, K. W., 1 янв 2004, Mathematical Foundations of Computer Science 2004 (MFCS 2004). стр. 783-793 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 3153).

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

  12. Boolean hierarchies of partitions over a reducible base

    Selivanov, V. L., 1 янв 2004, в: Algebra and Logic. 43, 1, стр. 44-61 18 стр.

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

  13. 2003

  14. Wadge degrees of ω-languages of deterministic turing machines

    Selivanov, V., 1 янв 2003, STACS 2003 (STACS 2003). стр. 97-108 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 2607).

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

  15. Wadge degrees of ω-languages of deterministic turing machines

    Selivanov, V., 1 янв 2003, в: RAIRO - Theoretical Informatics and Applications. 37, 1, стр. 67-83 17 стр.

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

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

ID: 42363115