1. 2025
  2. Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics

    Penzina, U. & Stukachev, A., 11 мар. 2025, Lecture Notes in Networks and Systems. Springer, стр. 123-132 10 стр. (Lecture Notes in Networks and Systems; том 1198 LNNS).

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

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

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

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

  5. 2023
  6. Generalized Computable Models and Montague Semantics

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

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

  7. 2022
  8. Inner Constructivizability of Functional Structures

    Burnistov, A. S. & Stukachev, A. I., мар. 2022, в: Algebra and Logic. 61, 1, стр. 16-29 14 стр.

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

  9. 2021
  10. Interval Extensions of Orders and Temporal Approximation Spaces

    Stukachev, A. I., июл. 2021, в: Siberian Mathematical Journal. 62, 4, стр. 730-741 12 стр.

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

  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. (ред.). Springer Nature, стр. 53-61 9 стр. (Advances in Intelligent Systems and Computing; том 1242 AISC).

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

  12. 2017
  13. Processes and Structures on Approximation Spaces

    Stukachev, A. I., 1 мар. 2017, в: Algebra and Logic. 56, 1, стр. 63-74 12 стр.

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

  14. Generalized Hyperarithmetical Computability Over Structures

    Stukachev, A. I., 1 янв. 2017, в: Algebra and Logic. 55, 6, стр. 507-526 20 стр.

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

ID: 3445574