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

  2. Total representations

    Selivanov, V., 11 июн 2013, в: Logical Methods in Computer Science. 9, 2, стр. 1-30 30 стр.

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

  3. Boolean algebras of regular ω-languages

    Selivanov, V. & Konovalov, A., 1 янв 2013, Language and Automata Theory and Applications (LATA 2013). стр. 504-515 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 7810).

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

  4. 2012

  5. Fine hierarchies via Priestley duality

    Selivanov, V., 1 авг 2012, в: Annals of Pure and Applied Logic. 163, 8, стр. 1075-1107 33 стр.

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

  6. 2011

  7. Complexity issues for preorders on finite labeled forests

    Hertling, P. & Selivanov, V., 26 сен 2011, Models of Computation in Context (CiE 2011). стр. 112-121 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6735).

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

  8. The shrinking property for NP and coNP

    Glaßer, C., Reitwießner, C. & Selivanov, V., 4 мар 2011, в: Theoretical Computer Science. 412, 8-10, стр. 853-864 12 стр.

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

  9. 2010

  10. Definability in the subword order

    Kudinov, O. V., Selivanov, V. L. & Yartseva, L. V., 29 июл 2010, Programs, Proofs, Processes (CiE 2010). стр. 246-255 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6158).

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

  11. Undecidability in Weihrauch degrees

    Kudinov, O. V., Selivanov, V. L. & Zhukov, A. V., 29 июл 2010, Programs, Proofs, Processes (CiE 2010). стр. 256-265 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 6158).

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

  12. Definability in the structure of words with the inclusion relation

    Kudinov, O. V., Selivanov, V. L. & Yartseva, L. V., 1 июл 2010, в: Siberian Mathematical Journal. 51, 3, стр. 456-462 7 стр.

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

  13. Definability of closure operations in the h-quasiorder of labeled forests

    Zhukov, A. V., Kudinov, O. V. & Selivanov, V. L., 1 мая 2010, в: Algebra and Logic. 49, 2, стр. 120-129 10 стр.

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

  14. On the Wadge reducibility of k-partitions

    Selivanov, V. L., 1 янв 2010, в: Journal of Logic and Algebraic Programming. 79, 1, стр. 92-102 11 стр.

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

Назад 12 3 4 5 6 7 8 9 ...11 Далее

ID: 42363115