1. 2018
  2. Highlights of the rice-shapiro theorem in computable topology

    Korovina, M. & Kudinov, O., 1 янв. 2018, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Petrenko, AK. & Voronkov, A. (ред.). Springer-Verlag GmbH and Co. KG, стр. 241-255 15 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10742 LNCS).

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

  3. Nonpresentability of Some Structures of Analysis in Hereditarily Finite Superstructures

    Morozov, A. S., 1 янв. 2018, в: Algebra and Logic. 56, 6, стр. 458-472 15 стр.

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

  4. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 янв. 2018, в: Siberian Mathematical Journal. 59, 1, стр. 22-30 9 стр.

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

  5. On the complexity of formulas in semantic programming

    Ospichev, S. & Ponomarev, D., 1 янв. 2018, в: Сибирские электронные математические известия. 15, стр. 987-995 9 стр.

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

  6. Quasivarieties of Graphs and Independent Axiomatizability

    Kravchenko, A. V. & Yakovlev, A. V., 1 янв. 2018, в: Siberian Advances in Mathematics. 28, 1, стр. 53-59 7 стр.

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

  7. Introduction to the 9th Young Scientists School on Systems Biology and Bioinformatics (SBB’2017)

    Orlov, Y. L., Tatarinova, T. V., Zakhartsev, M. V. & Kolchanov, N. A., февр. 2018, в: Journal of Bioinformatics and Computational Biology. 16, 1, 5 стр., 1802001.

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

  8. Genomics at Belyaev conference - 2017

    Orlov, Y. L., Baranova, A. V., Hofestädt, R. & Kolchanov, N. A., 9 февр. 2018, в: BMC Genomics. 19, Suppl 3, стр. 79 4 стр., 79.

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

  9. Novel read density distribution score shows possible aligner artefacts, when mapping a single chromosome

    Naumenko, F. M., Abnizova, I. I., Beka, N., Genaev, M. A. & Orlov, Y. L., 9 февр. 2018, в: BMC Genomics. 19, Suppl 3, стр. 92 11 стр., 92.

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

  10. Medical genomics at Belyaev Conference - 2017

    Orlov, Y. L., Fernandez-Masso, J. R., Chen, M. & Baranova, A. V., 13 февр. 2018, в: BMC Medical Genomics. 11, Suppl 1, стр. 11 3 стр., 11.

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

  11. Autostability spectra for decidable structures

    Bazhenov, N., 1 мар. 2018, в: Mathematical Structures in Computer Science. 28, 3, стр. 392-411 20 стр.

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

ID: 3082806