1 - 8 из 8Размер страницы: 10
Сортировать по:: Год публикации
  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