Статьи - Sciact

Статьи (27)

#	Публикация
1	Penzina U. , Stukachev A. Skolem Functions and Generalized Quantifiers for Negative Polarity Items Semantics В сборнике Distributed Computing and Artificial Intelligence, Special Sessions I, 21st International Conference. 2025. – C.123-132. – ISBN 978-3-031-76458-5. DOI: 10.1007/978-3-031-76459-2_11 WOS Scopus OpenAlex
2	Burnistov A.S. , Stukachev A.I. Computable Functionals of Finite Types in Montague Semantics Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024. V.21. N2. P.1460-1472. DOI: 10.33048/semi.2024.21.093 WOS Scopus
3	Stukachev A.I. Structures on signatures of stuctures В сборнике Model Theory and Algebra 2024: Collection of papers. – НГТУ., 2024. – C.177-178. – ISBN 978-5-7782-5285-1.
4	Burnistov A. , Stukachev A. Generalized Computable Models and Montague Semantics Studies in Computational Intelligence. 2023. V.1081. P.107-124. DOI: 10.1007/978-3-031-21780-7_5 Scopus OpenAlex
5	Burnistov A.S. , Stukachev A.I. Inner Constructivizability of Functional Structures Algebra and Logic. 2022. V.61. N1. P.16-29. DOI: 10.1007/s10469-022-09672-0 WOS Scopus РИНЦ OpenAlex
6	Бурнистов А.С. , Стукачев А.И. О внутренней конструктивизируемости функциональных структур Алгебра и логика. 2022. Т.61. №1. С.23-41. DOI: 10.33048/alglog.2022.61.102 РИНЦ
7	Stukachev A.I. Интервальные расширения порядков и темпоральные аппроксимационные пространства Сибирский математический журнал. 2021. Т.62. №4. С.894-910. DOI: 10.33048/smzh.2021.62.415 РИНЦ OpenAlex
8	Stukachev A. Interval Extensions of Orders and Temporal Approximation Spaces Siberian Mathematical Journal. 2021. V.62. N4. P.730-741. DOI: 10.1134/s0037446621040157 WOS Scopus OpenAlex
9	Stukachev A. Approximation Spaces of Temporal Processes and Effectiveness of Interval Semantics Advances in Intelligent Systems and Computing. 2021. V.1242. P.53-61. DOI: 10.1007/978-3-030-53829-3_5 Scopus OpenAlex
10	Stukachev A. Generalized Hyperarithmetical Computability Over Structures Algebra and Logic. 2017. V.55. N6. P.507-526. DOI: 10.1007/s10469-017-9421-1 WOS Scopus OpenAlex
11	Stukachev A. Processes and Structures on Approximation Spaces Algebra and Logic. 2017. V.56. N1. P.63-74. DOI: 10.1007/s10469-017-9426-9 WOS Scopus OpenAlex
12	Stukachev A. Properties of sΣ-Reducibility Algebra and Logic. 2014. V.53. N5. P.405-417. DOI: 10.1007/s10469-014-9300-y WOS Scopus OpenAlex
13	Стукачев А.И. О квазирегулярных структурах вычислимых сигнатур Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2014. Т.11. С.444-450.
14	Stukachev A. Effective model theory: approach via σ-definability В сборнике Lecture Notes in Logic. – Cambridge University Press., 2013. – Т.41. – C.164-197. – ISBN 9781107014510. DOI: 10.1017/cbo9781139028592.010 OpenAlex
15	Stukachev A. On Processes and Structures Lecture Notes in Computer Science. 2013. V.7921. P.393-402.
16	Ershov Y.L. , Puzarenko V.G. , Stukachev A. HF-Computability В сборнике Computability in Context Computation and Logic in the Real World. – World Scientific., 2011. – C.169-242. DOI: 10.1142/9781848162778_0006 Scopus РИНЦ OpenAlex
17	Stukachev A. A jump inversion theorem for the semilattices of sigma-degrees Siberian Advances in Mathematics. 2010. V.20. N1. P.68-74. DOI: 10.3103/s1055134410010037 Scopus OpenAlex
18	Stukachev A. Σ-definability of uncountable models of c-simple theories Siberian Mathematical Journal. 2010. V.51. N3. P.515-524. DOI: 10.1007/s11202-010-0054-z WOS Scopus OpenAlex
19	СТУКАЧЕВ А.И. Теорема об обращении скачка для полурешеток Сигма-степеней Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2009. Т.6. С.181-190.
20	Stukachev A. Degrees of presentability of structures. II Algebra and Logic. 2008. V.47. N1. P.65-74. DOI: 10.1007/s10469-008-0007-9 WOS Scopus OpenAlex

« Назад
1
2
Вперед »

1 / 2 - Всего 27 записей

Фильтр

Название

Год

DOI

Реферат

Ключевые слова

Жанр

Оригинальность

Журнал

Язык

Автор

Open access

Сортировка

Столбцы

Записей на страницу

Сбросить