11 - 20 из 204Размер страницы: 10
Сортировать по:: Год публикации
  1. 2017

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

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

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

  3. A note on effective categoricity for linear orderings

    Bazhenov, N., 1 янв. 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (ред.). Springer-Verlag GmbH and Co. KG, стр. 85-96 12 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10185 LNCS).

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

  4. Computable model theory over the reals

    Morozov, A. S., 1 янв. 2017, в: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, стр. 354-365 12 стр.

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

  5. Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 1 янв. 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (ред.). Springer-Verlag GmbH and Co. KG, Том 10307 LNCS. стр. 152-161 10 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 10307 LNCS).

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

  6. Freely Generated Projective Planes with Finite Computable Dimension

    Kogabaev, N. T., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 461-484 24 стр.

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

  7. Generalized Hyperarithmetical Computability Over Structures

    Stukachev, A. I., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 507-526 20 стр.

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

  8. Genetic polymorphisms and related risk factors of ischemic stroke in a Mongolian population in China

    Wu, Q., Wu, H., Orlov, Y. L., Gegentana, G., Huo, W., Bragin, A. O., Wu, N., Suyalatu, S., Zhao, F., Zhao, J., Tabikhanova, L. E., Chen, M. & Bai, H., 1 янв. 2017, в: Вавиловский журнал генетики и селекции. 21, 5, стр. 581-587 7 стр.

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

  9. Gröbner-Shirshov bases method for Gelfand-Dorfman-Novikov algebras

    Bokut, L. A., Chen, Y. & Zhang, Z., 1 янв. 2017, в: Journal of Algebra and its Applications. 16, 1, 22 стр., 1750001.

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

  10. Lattices of subclasses. III

    Basheyeva, A., Nurakunov, A., Schwidefsky, M. & Zamojska-Dzienio, A., 1 янв. 2017, в: Сибирские электронные математические известия. 14, стр. 252-263 12 стр.

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

  11. On quasi-equational bases for differential groupoids and unary algebras

    Kravchenko, A. V., Nurakunov, A. M. & Schwidefsky, M. V., 1 янв. 2017, в: Сибирские электронные математические известия. 14, стр. 1330-1337 8 стр.

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

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

ID: 3082806