31 - 40 out of 48Page size: 10
Sort by: Title

  1. Decompositions of decidable abelian groups

    Bazhenov, N., Goncharov, S. & Melnikov, A., 1 Feb 2020, In: International Journal of Algebra and Computation. 30, 1, p. 49-90 42 p.

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

  2. Decidable Categoricity Spectra for Almost Prime Models

    Bazhenov, N. A. & Marchuk, M. I., Sept 2023, In: Algebra and Logic. 62, 4, p. 291-302 12 p.

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

  3. Constructing Decidable Graphs from Decidable Structures

    Bazhenov, N. A. & Harrison-Trainor, M., 1 Nov 2019, In: Algebra and Logic. 58, 5, p. 369-382 14 p.

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

  4. Computable Stone spaces

    Bazhenov, N., Harrison-Trainor, M. & Melnikov, A., 1 Oct 2023, In: Annals of Pure and Applied Logic. 174, 9, 25 p., 103304.

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

  5. 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

  6. Computable Contact Algebras

    Bazhenov, N., 1 Jan 2019, In: Fundamenta Informaticae. 167, 4, p. 257-269 13 p.

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

  7. 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

  8. Computability of Distributive Lattices

    Bazhenov, N. A., Frolov, A. N., Kalimullin, I. S. & Melnikov, A. G., 1 Nov 2017, In: Siberian Mathematical Journal. 58, 6, p. 959-970 12 p.

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

  9. Classifying equivalence relations in the Ershov hierarchy

    Bazhenov, N., Mustafa, M., San Mauro, L., Sorbi, A. & Yamaleev, M., 1 Nov 2020, In: Archive for Mathematical Logic. 59, 7-8, p. 835-864 30 p.

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

  10. Categoricity Spectra of Computable Structures

    Bazhenov, N. A., Jul 2021, In: Journal of Mathematical Sciences (United States). 256, 1, p. 34-50 17 p.

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

Previous 1 2 3 4 5 Next

ID: 3440851