21 - 30 out of 48Page size: 10
  1. 2019

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

  3. Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Mar 2019, In: Siberian Mathematical Journal. 60, 2, p. 223-234 12 p.

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

  4. On Decidability of List Structures

    Aleksandrova, S. A. & Bazhenov, N. A., 1 May 2019, In: Siberian Mathematical Journal. 60, 3, p. 377-388 12 p.

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

  5. Elementary theories and hereditary undecidability for semilattices of numberings

    Bazhenov, N., Mustafa, M. & Yamaleev, M., 9 May 2019, In: Archive for Mathematical Logic. 58, 3-4, p. 485-500 16 p.

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

  6. Foundations of online structure theory

    Bazhenov, N., Downey, R., Kalimullin, I. & Melnikov, A., 1 Jun 2019, In: Bulletin of Symbolic Logic. 25, 2, p. 141-181 41 p.

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

  7. Weakly Precomplete Equivalence Relations in the Ershov Hierarchy

    Bazhenov, N. A. & Kalmurzaev, B. S., 1 Jul 2019, In: Algebra and Logic. 58, 3, p. 199-213 15 p.

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

  8. Degrees of bi-embeddable categoricity of equivalence structures

    Bazhenov, N., Fokina, E., Rossegger, D. & San Mauro, L., 1 Aug 2019, In: Archive for Mathematical Logic. 58, 5-6, p. 543-563 21 p.

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

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

  10. Automatic and Polynomial-Time Algebraic Structures

    Bazhenov, N., Harrison-Trainor, M., Kalimullin, I., Melnikov, A. & Ng, K. M., 1 Dec 2019, In: Journal of Symbolic Logic. 84, 4, p. 1630-1669 40 p.

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

  11. 2020

  12. Semilattices of Punctual Numberings

    Bazhenov, N., Mustafa, M. & Ospichev, S., 2020, Theory and Applications of Models of Computation - 16th International Conference, TAMC 2020, Proceedings. Chen, J., Feng, Q. & Xu, J. (eds.). Springer, p. 1-12 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12337 LNCS).

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

Previous 1 2 3 4 5 Next

ID: 3440851