121 - 130 out of 205Page size: 10
Sort by: Title

  1. Generalized Computable Models and Montague Semantics

    Burnistov, A. & Stukachev, A., 2023, Studies in Computational Intelligence. Springer Science and Business Media Deutschland GmbH, p. 107-124 18 p. 5. (Studies in Computational Intelligence; vol. 1081).

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

  2. Friedberg numberings of families of partial computable functionals

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

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

  3. Friedberg Numberings in the Ershov Hierarchy

    Ospichev, S. S., Sept 2015, In: Algebra and Logic. 54, 4, p. 283-295 13 p.

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

  4. Freely Generated Projective Planes with Finite Computable Dimension

    Kogabaev, N. T., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 461-484 24 p.

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

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

    Zhang, Z., Chen, Y. & Bokut, L. A., 1 May 2019, In: International Journal of Algebra and Computation. 29, 3, p. 481-505 25 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. Families of Permutations and Ideals of Turing Degrees

    Morozov, A. S., Puzarenko, V. G. & Faizrachmanov, M. K., Jan 2023, In: Algebra and Logic. 61, 6, p. 481-490 10 p.

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

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

    Vityaev, E. E. & Pak, B., Sept 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. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 307-312 6 p. 9373131. (Proceedings of the International Conference on Information Visualisation; vol. 2020-September).

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

  9. Existence of Independent Quasi-Equational Bases

    Schwidefsky, M. V., 1 Jan 2020, In: Algebra and Logic. 58, 6, p. 514-537 24 p.

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

  10. Evolutionary biology at BGRS\SB-2016

    Baranova, A. V. & Orlov, Y. L., 7 Feb 2017, In: BMC Evolutionary Biology. 17, Suppl 1, p. 21 3 p., 21.

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

Previous 1...9 10 11 12 13 14 15 16 ...21 Next

ID: 3082806