311 - 320 из 392Размер страницы: 10
Сортировать по:: Год публикации
  1. 2010

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

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

  3. On the Wadge reducibility of k-partitions

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

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

  4. 2009

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

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

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

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

  7. Strong limit theorems for the bayesian scoring criterion in bayesian networks

    Slobodianik, N., Zaporozhets, D. & Madras, N., 1 июл 2009, в: Journal of Machine Learning Research. 10, стр. 1511-1526 16 стр.

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

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

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

  9. Undecidability in some structures related to computation theory

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

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

  10. Hierarchies and reducibilities on regular languages related to modulo counting

    Selivanov, V. L., 1 янв 2009, в: RAIRO - Theoretical Informatics and Applications. 43, 1, стр. 95-132 38 стр.

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

  11. 2008

  12. Wadge reducibility and infinite computations

    Selivanov, V., 1 ноя 2008, в: Mathematics in Computer Science. 2, 1, стр. 5-36 32 стр.

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

  13. Fine hierarchies and m-reducibilities in theoretical computer science

    Selivanov, V. L., 6 окт 2008, в: Theoretical Computer Science. 405, 1-2, стр. 116-163 48 стр.

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

Назад 1...28 29 30 31 32 33 34 35 ...40 Далее

ID: 45531658