1. Generalized Computable Models and Montague Semantics

    Burnistov, A. & Stukachev, A., 2023, Studies in Computational Intelligence. Springer Science and Business Media Deutschland GmbH, стр. 107-124 18 стр. 5. (Studies in Computational Intelligence; том 1081).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаяРецензирование

  2. Friedberg numberings of families of partial computable functionals

    Ospichev, S., 1 янв. 2019, в: Сибирские электронные математические известия. 16, стр. 331-339 9 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Friedberg Numberings in the Ershov Hierarchy

    Ospichev, S. S., сент. 2015, в: Algebra and Logic. 54, 4, стр. 283-295 13 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. Freely Generated Projective Planes with Finite Computable Dimension

    Kogabaev, N. T., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 461-484 24 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  5. Free Gelfand-Dorfman-Novikov superalgebras and a Poincaré-Birkhoff-Witt type theorem

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 мая 2019, в: International Journal of Algebra and Computation. 29, 3, стр. 481-505 25 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. Foundations of online structure theory

    Bazhenov, N., Downey, R., Kalimullin, I. & Melnikov, A., 1 июн. 2019, в: Bulletin of Symbolic Logic. 25, 2, стр. 141-181 41 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  7. Families of Permutations and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrachmanov, M. K., янв. 2023, в: Algebra and Logic. 61, 6, стр. 481-490 10 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Explainable Rule-Based Clustering based on Cyclic Probabilistic Causal Models

    Vityaev, E. E. & Pak, B., сент. 2020, 2020 24th International Conference Information Visualisation, IV 2020. Banissi, E., Khosrow-Shahi, F., Ursyn, A., McK. Bannatyne, M. W., Pires, J. M., Datia, N., Nazemi, K., Kovalerchuk, B., Counsell, J., Agapiou, A., Vrcelj, Z., Chau, H-W., Li, M., Nagy, G., Laing, R., Francese, R., Sarfraz, M., Bouali, F., Venturin, G., Trutschl, M., Cvek, U., Muller, H., Nakayama, M., Temperini, M., Di Mascio, T., Rossano, F. S. V. R., Dorner, R., Caruccio, L., Vitiello, A., Huang, W., Risi, M., Erra, U., Andonie, R., Ahmad, M. A., Figueiras, A. & Mabakane, M. S. (ред.). Institute of Electrical and Electronics Engineers Inc., стр. 307-312 6 стр. 9373131. (Proceedings of the International Conference on Information Visualisation; том 2020-September).

    Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

  9. Existence of Independent Quasi-Equational Bases

    Schwidefsky, M. V., 1 янв. 2020, в: Algebra and Logic. 58, 6, стр. 514-537 24 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  10. Evolutionary biology at BGRS\SB-2016

    Baranova, A. V. & Orlov, Y. L., 7 февр. 2017, в: BMC Evolutionary Biology. 17, Suppl 1, стр. 21 3 стр., 21.

    Результаты исследований: Научные публикации в периодических изданияхредакционная статьяРецензирование

ID: 3082806