91 - 100 out of 209Page size: 10
  1. 2020

  2. On the for all there exists-Theories of Free Projective Planes

    Kogabaev, N. T., Jan 2020, In: Siberian Mathematical Journal. 61, 1, p. 95-108 14 p.

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

  3. 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 Science and Business Media Deutschland GmbH, 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

  4. The expressiveness of looping terms in the semantic programming

    Goncharov, S., Ospichev, S., Ponomaryov, D. & Sviridenko, D., 2020, In: Сибирские электронные математические известия. 17, p. 380-394 15 p., 024.

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

  5. 2019

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

  7. Triple Haplotypes of the TP53 Gene in Patients with Diffuse Small B-Cell Lymphoma

    Voropaeva, E. N., Cherdyntseva, N. V., Voevoda, M. I., Pospelova, T. I., Maximov, V. N., Orlov, Y. L. & Ageeva, T. A., 1 Dec 2019, In: Russian Journal of Genetics. 55, 12, p. 1564-1568 5 p.

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

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

  9. On Mutual Definability of Operations on Fields

    Korotkova, R. M., Kudinov, O. V. & Morozov, A. S., 1 Nov 2019, In: Siberian Mathematical Journal. 60, 6, p. 1032-1039 8 p.

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

  10. Σ-Preorderings in ℍF (ℝ)

    Morozov, A. S., 1 Nov 2019, In: Algebra and Logic. 58, 5, p. 405-416 12 p.

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

  11. Semantic Modeling and Hybrid Models

    Goncharov, S. & Sviridenko, D., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 987-990 4 p. 8958196. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

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

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

Previous 1...6 7 8 9 10 11 12 13 ...21 Next

ID: 3082806