1. 2018
  2. Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (Extended abstract)

    Selivanova, S. V. & Selivanov, V. L., 1 янв 2018, Sailing Routes in the World of Computation. стр. 376-385 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936).

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

  3. Polynomial-time presentations of algebraic number fields

    Alaev, P. & Selivanov, V., 1 янв 2018, Sailing Routes in the World of Computation. стр. 20-29 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10936).

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

  4. 2017
  5. Towards a descriptive theory of cb 0-spaces

    Selivanov, V., 1 дек 2017, в: Mathematical Structures in Computer Science. 27, 8, стр. 1553-1580 28 стр.

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

  6. First order theories of some lattices of open sets

    Kudinov, O. & Selivanov, V., 25 авг 2017, в: Logical Methods in Computer Science. 13, 3

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

  7. Computing solution operators of boundary-value problems for some linear hyperbolic systems of pdes

    Selivanova, S. & Selivanov, V., 1 янв 2017, в: Logical Methods in Computer Science. 13, 4

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

  8. Extending Wadge theory to k-partitions

    Selivanov, V. L., 1 янв 2017, Unveiling Dynamics and Complexity (CiE 2017). стр. 387-399 13 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307).

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

  9. 2016
  10. Base-complexity classifications of qcb0-spaces1

    De Brecht, M., Schröder, M. & Selivanov, V., 1 янв 2016, в: Computability. 5, 1, стр. 75-102 28 стр.

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

  11. Efficient algorithms for membership in boolean hierarchies of regular languages

    Glaßer, C., Schmitz, H. & Selivanov, V., 1 янв 2016, в: Theoretical Computer Science. 646, стр. 86-108 23 стр.

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

  12. The boolean algebra of piecewise testable languages

    Konovalov, A. & Selivanov, V., 1 янв 2016, Pursuit of the Universal. стр. 292-301 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 9709).

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

  13. 2015
  14. Some hierarchies of QCB0-spaces

    Schröder, M. & Selivanov, V., 1 дек 2015, в: Mathematical Structures in Computer Science. 25, 8, стр. 1799-1823 25 стр.

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

ID: 42363115