1. 2023
  2. 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 proceedingChapterResearchpeer-review

  3. 2022
  4. Inner Constructivizability of Functional Structures

    Burnistov, A. S. & Stukachev, A. I., Mar 2022, In: Algebra and Logic. 61, 1, p. 16-29 14 p.

    Research output: Contribution to journalArticlepeer-review

  5. 2021
  6. Interval Extensions of Orders and Temporal Approximation Spaces

    Stukachev, A. I., Jul 2021, In: Siberian Mathematical Journal. 62, 4, p. 730-741 12 p.

    Research output: Contribution to journalArticlepeer-review

  7. Approximation spaces of temporal processes and effectiveness of interval semantics

    Stukachev, A., 2021, Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Rodríguez González, S., Prieto, J., González-Briones, A., Gola, A., Katranas, G., Ricca, M., Loukanova, R. & Loukanova, R. (eds.). Springer Nature, p. 53-61 9 p. (Advances in Intelligent Systems and Computing; vol. 1242 AISC).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  8. 2017
  9. Processes and Structures on Approximation Spaces

    Stukachev, A. I., 1 Mar 2017, In: Algebra and Logic. 56, 1, p. 63-74 12 p.

    Research output: Contribution to journalArticlepeer-review

  10. Generalized Hyperarithmetical Computability Over Structures

    Stukachev, A. I., 1 Jan 2017, In: Algebra and Logic. 55, 6, p. 507-526 20 p.

    Research output: Contribution to journalArticlepeer-review

ID: 3445574