11 - 20 out of 205Page size: 10
  1. 2017

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

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

    Research output: Contribution to journal › Article › peer-review

  3. A note on effective categoricity for linear orderings

    Bazhenov, N., 1 Jan 2017, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Proceedings. Gopal, TV., Jager, G. & Steila, S. (eds.). Springer-Verlag GmbH and Co. KG, p. 85-96 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10185 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  4. Computable model theory over the reals

    Morozov, A. S., 1 Jan 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10010, p. 354-365 12 p.

    Research output: Contribution to journal › Article › peer-review

  5. Degrees of categoricity of rigid structures

    Bazhenov, N. A. & Yamaleev, M. M., 1 Jan 2017, Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Kari, J., Manea, F. & Petre (eds.). Springer-Verlag GmbH and Co. KG, Vol. 10307 LNCS. p. 152-161 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10307 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. Freely Generated Projective Planes with Finite Computable Dimension

    Kogabaev, N. T., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 461-484 24 p.

    Research output: Contribution to journal › Article › peer-review

  7. Generalized Hyperarithmetical Computability Over Structures

    Stukachev, A. I., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 507-526 20 p.

    Research output: Contribution to journal › Article › peer-review

  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 Jan 2017, In: Вавиловский журнал генетики и селекции. 21, 5, p. 581-587 7 p.

    Research output: Contribution to journal › Article › peer-review

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

    Bokut, L. A., Chen, Y. & Zhang, Z., 1 Jan 2017, In: Journal of Algebra and its Applications. 16, 1, 22 p., 1750001.

    Research output: Contribution to journal › Article › peer-review

  10. Lattices of subclasses. III

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

    Research output: Contribution to journal › Article › peer-review

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

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

    Research output: Contribution to journal › Article › peer-review

Previous 1 2 3 4 5 6 7 8 ...21 Next

ID: 3082806