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

  2. Preface to the special issue: Computing with infinite data: Topological and logical foundations

    Berger, U., Brattka, V., Selivanov, V., Spreen, D. & Tsuiki, H., 28 окт 2015, в: Mathematical Structures in Computer Science. 25, 7, стр. 1463-1465 3 стр.

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

  3. Base-complexity classifications of QCB0-spaces (Extended Abstract)

    de Brecht, M., Schröder, M. & Selivanov, V., 1 янв 2015, Evolving Computability. стр. 156-166 11 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9136).

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

  4. Hyperprojective hierarchy of qcb0-spaces

    Schröder, M. & Selivanov, V., 1 янв 2015, в: Computability. 4, 1, стр. 1-17 17 стр.

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

  5. Towards the effective descriptive set theory

    Selivanov, V., 1 янв 2015, Evolving Computability (CiE 2015). стр. 324-333 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9136).

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

  6. 2014

  7. Boolean Algebras of Regular Languages

    Konovalov, A. S. & Selivanov, V. L., 1 янв 2014, в: Algebra and Logic. 52, 6, стр. 448-470 23 стр.

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

  8. Hyperprojective hierarchy of qcb0-spaces

    Schröder, M. & Selivanov, V., 1 янв 2014, Language, Life, Limits (CiE 2014). стр. 352-361 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 8493).

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

  9. 2013

  10. Total representations

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

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

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

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

  12. 2012

  13. Fine hierarchies via Priestley duality

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

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

  14. 2011

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

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

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

ID: 42363115