1. 2025
  2. 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 proceedingConference contributionResearchpeer-review

  3. 2024
  4. Computable Functionals of Finite Types in Montague Semantics

    Бурнистов, А. С. & Стукачев, А. И., 2024, In: Сибирские электронные математические известия. 21, 2, p. 1460-1472 13 p.

    Research output: Contribution to journalArticlepeer-review

  5. 2023
  6. Generalized Computable Models and Montague Semantics

    Burnistov, A. & Stukachev, A., 2023, Studies in Computational Intelligence. Springer, p. 107-124 18 p. 5. (Studies in Computational Intelligence; vol. 1081).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

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

  9. 2021
  10. 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

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

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

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