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

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

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

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

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

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

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

  5. Undecidability in some structures related to computation theory

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

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

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

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

  7. 2008

  8. Wadge reducibility and infinite computations

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

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

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

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

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

  10. Complexity of topological properties of regular ω-languages

    Selivanov, V. L. & Wagner, K. W., 4 авг 2008, в: Fundamenta Informaticae. 83, 1-2, стр. 197-217 21 стр.

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

  11. Complexity of aperiodicity for topological properties of regular ω-languages

    Selivanov, V. L. & Wagner, K. W., 1 июл 2008, Logic and Theory of Algorithms (CiE 2008). стр. 533-543 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 5028).

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

  12. Computing solutions of symmetric hyperbolic systems of PDE’s

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

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

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

ID: 42363115