11 - 20 out of 40Page size: 10
  1. 2025

  2. The NP-completeness of the Consistency Problem for Systems of Diophantine Equations over Finite Configurations

    Kogabaev, N. T., 2 Jun 2025, In: Siberian Mathematical Journal. 66, 3, p. 702-714 13 p.

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

  3. Isomorphism of Atomless Boolean Algebras with Distinguished Ideals

    Goncharov, S. S. & Xiang, J., 29 Apr 2025, In: Algebra and Logic. 63, 3, p. 179–185 7 p.

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

  4. On Presentations of the Addition over the Reals

    Morozov, A. S., Apr 2025, In: Lobachevskii Journal of Mathematics. 46, 4, p. 1892-1903 12 p., 33.

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

  5. Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics

    Penzina, U. & Stukachev, A., 11 Mar 2025, Lecture Notes in Networks and Systems. Springer, p. 123-132 10 p. (Lecture Notes in Networks and Systems; vol. 1198 LNNS).

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

  6. Permutation Groups and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrakhmanov, M. K., 22 Jan 2025, In: Algebra and Logic. 63, 2, p. 141-152 12 p.

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

  7. Computably and punctually universal spaces

    Bagaviev, R., Batyrshin, I. I., Bazhenov, N., Bushtets, D., Dorzhieva, M., Koh, H. T., Kornev, R., Melnikov, A. G. & Ng, K. M., Jan 2025, In: Annals of Pure and Applied Logic. 176, 1, 31 p., 103491.

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

  8. Mappings with Coenumerable Graphs

    Morozov, A. S., Jan 2025, In: Algebra and Logic. 63, 6, p. 448-457 10 p.

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

  9. NP-полнота проблемы совместности систем диофантовых уравнений над конечными конфигурациями

    Когабаев, Н. Т., 2025, In: Сибирский математический журнал. 66, 3 (391), p. 450-464

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

  10. Task-Based Approach to Digital Transformations

    Vityaev, E. E., Sviridenko, D. I. & Rofe, A. R., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 78-95 18 p., 6.

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

  11. The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence

    Nechesov, A. V., Vityaev, E. E., Goncharov, S. S. & Sviridenko, D. I., 2025, In: Bulletin of Irkutsk State University, Series Mathematics. 54, p. 96-112 17 p., 7.

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

Previous 1 2 3 4 Next

ID: 60174705