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

  2. 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 стр.

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

  3. 2010

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

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

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

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

  6. 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 стр.

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

  7. 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 стр.

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

  8. On the Wadge reducibility of k-partitions

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

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

  9. 2009

  10. A Gandy theorem for abstract structures and applications to first-order definability

    Kudinov, O. V. & Selivanov, V. L., 1 дек 2009, Mathematical Theory and Computational Practice (CiE 2009). стр. 290-299 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5635).

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

  11. Computing the solution operators of symmetric hyperbolic systems of PDE

    Selivanova, S. & Selivanov, V., 24 июл 2009, в: Journal of Universal Computer Science. 15, 6, стр. 1337-1364 28 стр.

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

  12. Definability in the h-quasiorder of labeled forests

    Kudinov, O. V., Selivanov, V. L. & Zhukov, A. V., 1 июн 2009, в: Annals of Pure and Applied Logic. 159, 3, стр. 318-332 15 стр.

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

  13. Undecidability in some structures related to computation theory

    Selivanov, V. L., 1 фев 2009, в: Journal of Logic and Computation. 19, 1, стр. 177-197 21 стр.

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

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

ID: 42363115