31 - 40 out of 49Page size: 10
  1. 2019

  2. Computable isomorphisms of distributive lattices

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 1 Jan 2019, Theory and Applications of Models of Computation - 15th Annual Conference, TAMC 2019, Proceedings. Watada, J. & Gopal, T. V. (eds.). Springer, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11436 LNCS).

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

  3. Effective Embeddings for Pairs of Structures

    Bazhenov, N., Ganchev, H. & Vatev, S., 1 Jan 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Manea, F., Martin, B., Paulusma, D. & Primiero, G. (eds.). Springer, p. 84-95 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11558 LNCS).

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

  4. Построение разрешимых графов по разрешимым структурам

    Баженов, Н. А. & Harrison-Trainor, M., 2019, In: Алгебра и логика. 58, 5, p. 553-573 21 p.

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

  5. 2018

  6. Computable Bi-Embeddable Categoricity

    Bazhenov, N. A., Fokina, E. B., Rossegger, D. & San Mauro, L., 1 Nov 2018, In: Algebra and Logic. 57, 5, p. 392-396 5 p.

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

  7. Degrees of Autostability Relative to Strong Constructivizations of Graphs

    Bazhenov, N. A. & Marchuk, M. I., 1 Jul 2018, In: Siberian Mathematical Journal. 59, 4, p. 565-577 13 p.

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

  8. Degrees of Autostability for Prime Boolean Algebras

    Bazhenov, N. A. & Marchuk, M. I., 1 Jun 2018, In: Algebra and Logic. 57, 2, p. 98-114 17 p.

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

  9. Autostability spectra for decidable structures

    Bazhenov, N., 1 Mar 2018, In: Mathematical Structures in Computer Science. 28, 3, p. 392-411 20 p.

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

  10. Degrees of categoricity and spectral dimension

    Bazhenov, N. A., Kalimullin, I. S. H. & Yamaleev, M. M., 1 Mar 2018, In: Journal of Symbolic Logic. 83, 1, p. 103-116 14 p.

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

  11. Degrees of categoricity for prime and homogeneous models

    Bazhenov, N. & Marchuk, M., 1 Jan 2018, Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Proceedings. Manea, F., Miller, RG. & Nowotka, D. (eds.). Springer, p. 40-49 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10936 LNCS).

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

  12. On Dark Computably Enumerable Equivalence Relations

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jan 2018, In: Siberian Mathematical Journal. 59, 1, p. 22-30 9 p.

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

Previous 1 2 3 4 5 Next

ID: 3440851